8 search results - page 1 / 2 » jfp 2002 |
JFP
2002
13 years 4 months ago
2002
JFP
2002
13 years 4 months ago
2002
JFP
2002
13 years 4 months ago
2002
JFP
2002
13 years 4 months ago
2002
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
JFP
2002
13 years 4 months ago
2002
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...