5415 search results - page 33 / 1083 » The Implementation of Functional Programming Languages |
PLDI
1998
ACM
15 years 3 months ago
1998
ACM
ASPLOS
1994
ACM
15 years 2 months ago
1994
ACM
114
click to vote
ICFP
2012
ACM
13 years 1 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
111
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...