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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540159759, 9783540396772

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cyclic reference counting for combinator machines

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

10.1007/3-540-15975-4_42 ◽

1985 ◽

pp. 273-288 ◽

Author(s):

D. R. Brownbridge

Keyword(s):

Reference Counting

Download Full-text

Program verification in a logical theory of constructions

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

10.1007/3-540-15975-4_46 ◽

1985 ◽

pp. 334-349 ◽

Author(s):

Peter Dybjer

Keyword(s):

Program Verification ◽

Download Full-text

Data flow graph optimization in if1

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

10.1007/3-540-15975-4_27 ◽

1985 ◽

pp. 17-34 ◽

Author(s):

S. K. Skedzielewski ◽

M. L. Welcome

Keyword(s):

Data Flow ◽

Data Flow Graph ◽

Graph Optimization

Download Full-text

The categorical abstract machine

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

10.1007/3-540-15975-4_29 ◽

1985 ◽

pp. 50-64 ◽

Author(s):

G. Cousineau ◽

P-L. Curien ◽

M. Mauny

Keyword(s):

Abstract Machine

Download Full-text

Secd-m: a virtual machine for applicative programming

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

10.1007/3-540-15975-4_31 ◽

1985 ◽

pp. 81-98 ◽

Author(s):

S. Abramsky ◽

R. Sykes

Keyword(s):

Virtual Machine ◽

Applicative Programming

Download Full-text

An architecture for fast data movement in the FFP machine

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

10.1007/3-540-15975-4_35 ◽

1985 ◽

pp. 147-163 ◽

Author(s):

David A. Plaisted

Keyword(s):

Download Full-text

Lambda lifting: Transforming programs to recursive equations

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

10.1007/3-540-15975-4_37 ◽

1985 ◽

pp. 190-203 ◽

Author(s):

Thomas Johnsson

Keyword(s):

Recursive Equations

Download Full-text

The G-machine: A fast, graph-reduction evaluator

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

10.1007/3-540-15975-4_50 ◽

1985 ◽

pp. 400-413 ◽

Author(s):

Richard B. Kieburtz

Keyword(s):

Graph Reduction

Download Full-text

Serial combinators: "optimal" grains of parallelism

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

10.1007/3-540-15975-4_49 ◽

1985 ◽

pp. 382-399 ◽

Author(s):

Paul Hudak ◽

Benjamin Goldberg

Download Full-text

Lazy memo-functions

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

10.1007/3-540-15975-4_34 ◽

1985 ◽

pp. 129-146 ◽

Author(s):

John Hughes

Download Full-text