Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 23

Content of Issue 1
Functional Programming: Past, Present, and Future.
Contributions dedicated to
D. A. Turner on his 70th Birthday
R. Dueire Lins 1
Abstract Data Types without the Types.
Dedicated to David Turner on the occasion of his 70'th birthday
P. Wadler 5
A Logical Reconstruction of Batcher's Mergers
Or: Bitonicity is a Red Herring
R. Hinze, C. Martin 21
Trees that Grow S. Najd, S.P. Jones 42
Higher Inductive Types in Programming H. Basold, H. Geuvers, N. van der Weide 63
A General Method for Defining Objects by Recursion over Syntax S. Thompson 89
First-Class Functions in an Imperative World R. Ierusalimschy 112