Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540183174, 9783540478799

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A theory for natural modelisation and implementation of functions with variable arity

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_13 ◽

1987 ◽

pp. 212-233 ◽

Author(s):

Patrick Bellot ◽

Véronique Jay

Download Full-text

SIGNAL: A declarative language for synchronous programming of real-time systems

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_15 ◽

1987 ◽

pp. 257-277 ◽

Author(s):

Thierry Gautier ◽

Paul Guernic ◽

Loïc Besnard

Keyword(s):

Real Time ◽

Real Time Systems ◽

Declarative Language ◽

Synchronous Programming ◽

Download Full-text

Matrix algebra and applicative programming

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_9 ◽

1987 ◽

pp. 134-153 ◽

Author(s):

David S. Wise

Keyword(s):

Matrix Algebra ◽

Applicative Programming

Download Full-text

The planar topology of functional programs

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_11 ◽

1987 ◽

pp. 174-193

Author(s):

Martine Schlag

Download Full-text

Clean — A language for functional graph rewriting

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_20 ◽

1987 ◽

pp. 364-384 ◽

Author(s):

T. H. Brus ◽

M. C. J. D. Eekelen ◽

M. O. Leer ◽

M. J. Plasmeijer

Keyword(s):

Graph Rewriting ◽

Functional Graph

Download Full-text

Tim: A simple, lazy abstract machine to execute supercombinators

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_3 ◽

1987 ◽

pp. 34-45 ◽

Author(s):

Jon Fairbairn ◽

Stuart Wray

Keyword(s):

Abstract Machine

Download Full-text

Performance polymorphism

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_18 ◽

1987 ◽

pp. 325-346 ◽

Author(s):

Ian Toyn ◽

Alan Dix ◽

Colin Runciman

Download Full-text

Finding fixed points in finite lattices

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_23 ◽

1987 ◽

pp. 426-445 ◽

Author(s):

Chris Martin ◽

Chris Hankin

Keyword(s):

Fixed Points ◽

Finite Lattices

Download Full-text

Evaluation transformers — A model for the parallel evaluation of functional languages (extended abstract)

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_24 ◽

1987 ◽

pp. 446-470 ◽

Author(s):

Geoffrey L. Burn

Keyword(s):

Functional Languages ◽

Parallel Evaluation

Download Full-text

Categorical multi-combinators

Functional Programming Languages and Computer Architecture - Lecture Notes in Computer Science ◽

10.1007/3-540-18317-5_5 ◽

1987 ◽

pp. 60-79 ◽

Author(s):

Rafael D.Lins

Download Full-text