 |
 | ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-930.ps.z, 19930604
Yale University Department of Computer Science The Unexpurgated Call by Name, Assignment, and the Lambda Calculus Revised Report1 Martin Odersky and Dan Rabin Research Report YALEU/DCS/RR-930 May, 1993 This work was supported in part by DARPA grant number N00014-91-J-4043. The second author was |
| ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-964.ps.Z, 19930604
Yale University Department of Computer Science A Syntactic Method for Proving Observational Equivalences Martin Odersky Yale University, Department of Computer Science, Box 2158 Yale Station, New Haven, CT 06520 Research Report YALEU/DCS/RR-964 May, 1993 A Syntactic Method for Proving Observational |
| ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-965.ps.z, 19930604
Yale University Department of Computer Science A Syntactic Theory of Local Names Martin Odersky Yale University, Department of Computer Science, Box 2158 Yale Station, New Haven, CT 06520 Research Report YALEU/DCS/RR-965 May, 1993 A Syntactic Theory of Local Names Martin Odersky Yale University, |
| ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-914.ps.Z, 19930604
Mutable Abstract Datatypes | or | How to Have Your State and Munge It Too Paul Hudak Yale Research Report YALEU/DCS/RR-914 Yale University Department of Computer Science New Haven, CT 06520 hudak@cs.yale.edu December 1992 (revised May 1993) |
| ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-982.ps.Z, 19930820
Implicit and Explicit Parallel Programming in Haskell Research Report YALEU/DCS/RR-982 Mark P. Jones and Paul Hudak Department of Computer Science Yale University New Haven, CT 06520-2158 fjones-mark,hudak-paulg@cs.yale.edu August 19, 1993 |
| ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-1030.ps.Z, 19940511
The implementation of the Gofer functional programming system Mark P. Jones Yale University, Department of Computer Science, P.O. Box 208285, New Haven, CT 06520-8285. jones-mark@cs.yale.edu Research Report YALEU/DCS/RR-1030 May 1994 |
| ftp://nebula.systemsz.cs.yale.edu/pub/yale-fp/reports/RR-1040.ps.Z, 19940610
Simplifying and Improving Qualified Types Mark P. Jones Yale University, Department of Computer Science P.O. Box 208285, New Haven, CT 06520-8285. jones-mark@cs.yale.edu Research Report YALEU/DCS/RR-1040, June 1994 |
|
