In this issue

Papers published: 7

Total pages: 130

Unique views: 5176

Total views: 7128

open access

Go to issue

« Previous
Issue 23(1)
 Next »
Issue No
from 0 to 30
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: 574 | Total: 734  | 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: 767 | Total: 1019  | 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: 700 | Total: 929  | 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: 769 | Total: 1132  | 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: 716 | Total: 977  | 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: 710 | Total: 949  | 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: 940 | Total: 1388  | Access Period:
 112-126
HTML
XML
PDF

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

OK