In this issue

Papers published: 7

Total pages: 130

Printed version: Paperback

open access

Go to issue

« Previous
Issue 23(1)
 Next »
Issue No
from 0 to 29
Number No
JUCS - Journal of Universal Computer Science 23(1) (2017)
Sort by:
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
Export format

Download
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: 161 | Total: 228  | Access Period:
 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: 235 | Total: 315  | Access Period:
 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: 230 | Total: 329  | Access Period:
 21-41
HTML
XML
PDF
Research Article
Trees that Grow
Shayan Najd, Simon Jones
10.3217/jucs-023-01-0042
 28-01-2017
 Unique: 251 | Total: 365  | Access Period:
 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: 217 | Total: 319  | Access Period:
 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: 211 | Total: 302  | Access Period:
 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: 325 | Total: 496  | Access Period:
 112-126
HTML
XML
PDF

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

OK