The Journal of Functional Programming, Volume 3

Volume 3, Number 1, January 1993

• Simon J. Thompson, Philip Wadler:
  Functional Programming in Education - Introduction. 3-4
  
• Tim Lambert, Peter Lindsay, Ken Robinson:
  Using Miranda as a First Programming Language. 5-34
  
• 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
  
• W. Ken Jackson, F. Warren Burton:
  Improving Intervals. 153-169
  
• F. Warren Burton, Robert D. Cameron:
  Pattern Matching with Abstract Data Types. 171-190
  
• Eric Nöcker, Sjaak Smetsers:
  Partially Strict Non-Recursive Data Types. 191-215
  
• Colin Runciman, David Wakeling:
  Heap Profiling of Lazy Functional Programs. 217-245
  
• Chris Reade:
  Terminating Comprehensions. 247-250
  

Volume 3, Number 3, July 1993

• Erik Ruf, Daniel Weise:
  On the Specialization of Online Program Specializers. 251-281
  
• 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
  
• Xavier Leroy, Michel Mauny:
  Dynamics in ML. 431-463
  
• Robert Harper, Bruce F. Duba, David B. MacQueen:
  Typing First-Class Continuations in ML. 465-484
  
• 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
  

Last update Tue May 21 14:53:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page