MCMAHON DOUG

Type system for building extensible business applications