Volume 17; Issue 3

1

An object-oriented calculus with term constraints

Year:
2007
Language:
english
File:
PDF, 247 KB
english, 2007
3

$\mathcal{MC}_2$ A module calculus for Pure Type Systems

Year:
2007
Language:
english
File:
PDF, 403 KB
english, 2007
4

Warnings for pattern matching

Year:
2007
Language:
english
File:
PDF, 281 KB
english, 2007
6

The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 20001

Year:
2007
Language:
english
File:
PDF, 53 KB
english, 2007