8706 search results - page 366 / 1742 » Learning Subjective Language |
145
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
131
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
The forthcoming Revised6 Report on Scheme differs from previous reports in that the language it describes is structured as a set of libraries. It also provides a syntax for defini...
115
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
145
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
129
Voted
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...