Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897913280

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nondeterminism and unification in LogScheme: integrating logic and functional programming

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99400 ◽

1989 ◽

Cited By ~ 1

Author(s):

Erik Ruf ◽

Daniel Weise

Keyword(s):

Functional Programming ◽

Logic And Functional Programming

Download Full-text

A simple semantics for ML polymorphism

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99393 ◽

1989 ◽

Cited By ~ 15

Author(s):

Atsushi Ohori

Download Full-text

Extended projection---new method to extract efficient programs from constructive proofs

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99396 ◽

1989 ◽

Cited By ~ 1

Author(s):

Yukihide Takayama

Keyword(s):

New Method ◽

Extended Projection ◽

Constructive Proofs

Download Full-text

Parsers and printers as stream destructors and constructors embedded in functional languages

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99405 ◽

1989 ◽

Cited By ~ 3

Author(s):

Michel Mauny

Keyword(s):

Functional Languages

Download Full-text

Processes in a functional animation system

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99409 ◽

1989 ◽

Cited By ~ 4

Author(s):

Kavi Arya

Keyword(s):

Animation System

Download Full-text

Indeterminate behavior with determinate semantics in parallel programs

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99402 ◽

1989 ◽

Author(s):

F. Warren Burton

Keyword(s):

Parallel Programs

Download Full-text

An abstract machine for parallel graph reduction

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99387 ◽

1989 ◽

Cited By ~ 7

Author(s):

Lal George

Keyword(s):

Graph Reduction ◽

Abstract Machine ◽

Parallel Graph

Download Full-text

Architectural improvements for data-driven VLSI processing arrays

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99389 ◽

1989 ◽

Cited By ~ 4

Author(s):

Shlomit Weiss ◽

Ilan Spillinger ◽

Gabriel M. Siberman

Keyword(s):

Data Driven

Download Full-text

The spineless tagless G-machine

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99385 ◽

1989 ◽

Cited By ~ 39

Author(s):

Simon L. Peyton Jones ◽

Jon Salkild

Download Full-text

Strictness analysis

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89 ◽

10.1145/99370.99390 ◽

1989 ◽

Cited By ~ 36

Author(s):

Tsung-Min Kuo ◽

Prateek Mishra

Keyword(s):

Strictness Analysis

Download Full-text

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Nondeterminism and unification in LogScheme: integrating logic and functional programming

A simple semantics for ML polymorphism

Extended projection---new method to extract efficient programs from constructive proofs

Parsers and printers as stream destructors and constructors embedded in functional languages

Processes in a functional animation system

Indeterminate behavior with determinate semantics in parallel programs

An abstract machine for parallel graph reduction

Architectural improvements for data-driven VLSI processing arrays

The spineless tagless G-machine

Strictness analysis

Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89
Latest Publications