Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday

In this issue

Papers published: 7

Total pages: 126

Unique views: 8662

Total views: 11983

Go to issue

« Previous

Issue 23(1)

JUCS - Journal of Universal Computer Science 23(1)

Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday

Rafael Dueire Lins

Select: All None

Download:

Citation

XML

PDF

Editorial

Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday

Rafael Lins

10.3217/jucs-023-01

28-01-2017

Unique: 1000 | Total: 1286

1-4

HTML

XML

PDF

Research Article

Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday

Philip Wadler

10.3217/jucs-023-01-0005

28-01-2017

Unique: 1207 | Total: 1620

5-20

HTML

XML

PDF

Research Article

A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring

Ralf Hinze, Clare Martin

10.3217/jucs-023-01-0021

28-01-2017

Unique: 1105 | Total: 1504

21-41

HTML

XML

PDF

Research Article

Trees that Grow

Shayan Najd, Simon Jones

10.3217/jucs-023-01-0042

28-01-2017

Unique: 1338 | Total: 1953

42-62

HTML

XML

PDF

Research Article

Higher Inductive Types in Programming

Henning Basold, Herman Geuvers, Niels Van Der Weide

10.3217/jucs-023-01-0063

28-01-2017

Unique: 1273 | Total: 1715

63-88

HTML

XML

PDF

Research Article

A General Method for Defining Objects by Recursion over Syntax

Simon Thompson

10.3217/jucs-023-01-0089

28-01-2017

Unique: 1201 | Total: 1642

89-111

HTML

XML

PDF

Research Article

First-Class Functions in an Imperative World

Roberto Ierusalimschy

10.3217/jucs-023-01-0112

28-01-2017

Unique: 1538 | Total: 2263

112-126

HTML

XML

PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy