In this issue

Papers published: 7

Total pages: 130

Printed version: Paperback

Unique views: 3691

Total views: 5114

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: 384 | Total: 490  | 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: 519 | Total: 686  | 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: 535 | Total: 718  | 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: 561 | Total: 830  | 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: 511 | Total: 703  | 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: 512 | Total: 683  | 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: 669 | Total: 1004  | Access Period:
 112-126
HTML
XML
PDF

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

OK