Programming with Types: Examples in TypeScript - Riscutia (IEEE, 2003)