34 search results - page 2 / 7 » icfp 2003 |
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
ICFP
2003
ACM
15 years 2 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...