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

Content of Issue 1
DOI: 10.3217/jucs-023-01
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