The Journal of Functional Programming, Volume 3
Volume 3, Number 1, January 1993
- Phil Molyneux: Functional Programming for Business Students. 35-48
- Stef Joosten, Klaas van den Berg, Gerrit van Der Hoeven: Teaching Functional Programming to First-Year Students. 49-65
- Rachel Harrison: The Use of Functional Languages in Teaching Computer Science. 67-75
- Lennart Augustsson: The Interactive Lazy ML System. 77-92
- Colin Runciman, Ian Toyn, Mike Firth: An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. 93-115
- Richard S. Bird: Functional Pearls: The Last Tail. 117-122
Volume 3, Number 2, April 1993
- John Hannan: Extended Natural Semantics. 123-152
- Chris Reade: Terminating Comprehensions. 247-250
Volume 3, Number 3, July 1993
- Valentin F. Turchin: Program Transformation with Metasystem Transitions. 283-313
- Anders Bondorf, Jesper Jørgensen: Efficient Analysis for Realistic Off-Line Partial Evaluation. 315-346
- Jens Palsberg: Correctness of Binding-Time Analysis. 347-363
- Mitchell Wand: Specifying the Correctness of Binding-Time Analysis. 365-387
Volume 3, Number 4, October 1993
- Andrew W. Appel: A Critique of Standard ML. 391-429
- Roberto Di Cosmo: Deciding Type Isomorphisms in a Type-Assignment Framework. 485-525
- Dave Berry: Lessons from the Design of a Standard ML Library. 527-552
- Stephen Adams: Efficient Sets - A Balancing Act. 553-561
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team