JFP 1993

25 papers

1. A Critique of Standard ML · Andrew W. Appel
2. An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming · Colin Runciman, Ian Toyn, Mike Firth
3. Correctness of Binding-Time Analysis · Jens Palsberg
4. Deciding Type Isomorphisms in a Type-Assignment Framework · Roberto Di Cosmo
5. Dynamics in ML · Xavier Leroy, Michel Mauny
6. Efficient Analysis for Realistic Off-Line Partial Evaluation · Anders Bondorf, Jesper Jørgensen
7. Efficient Sets - A Balancing Act · Stephen Adams
8. Extended Natural Semantics · John Hannan
9. Functional Pearls: The Last Tail · Richard S. Bird
10. Functional Programming for Business Students · Phil Molyneux
11. Functional Programming in Education - Introduction · Simon J. Thompson, Philip Wadler
12. Heap Profiling of Lazy Functional Programs · Colin Runciman, David Wakeling
13. Improving Intervals · W. Ken Jackson, F. Warren Burton
14. Lessons from the Design of a Standard ML Library · Dave Berry
15. On the Specialization of Online Program Specializers · Erik Ruf, Daniel Weise
16. Partially Strict Non-Recursive Data Types · Eric Nöcker, Sjaak Smetsers
17. Pattern Matching with Abstract Data Types · F. Warren Burton, Robert D. Cameron
18. Program Transformation with Metasystem Transitions · Valentin F. Turchin
19. Specifying the Correctness of Binding-Time Analysis · Mitchell Wand
20. Teaching Functional Programming to First-Year Students · Stef Joosten, Klaas van den Berg, Gerrit van Der Hoeven
21. Terminating Comprehensions · Chris Reade
22. The Interactive Lazy ML System · Lennart Augustsson
23. The Use of Functional Languages in Teaching Computer Science · Rachel Harrison
24. Typing First-Class Continuations in ML · Robert Harper, Bruce F. Duba, David B. MacQueen
25. Using Miranda as a First Programming Language · Tim Lambert, Peter Lindsay, Ken Robinson