Proc. of a conference on Functional programming languages and computer architecture

January 1985

1985 Proceeding

Editor:
Jean-Pierre Jouannaud
CRIN, Nancy, France

Publisher:

Springer-Verlag
Berlin, Heidelberg

Conference:

Nancy France

Published:

01 January 1985

Bibliometrics

Cited By

Hudak P, Hughes J, Peyton Jones S and Wadler P A history of Haskell Proceedings of the third ACM SIGPLAN conference on History of programming languages, (12-1-12-55)
Manolios P and Srinivasan S Verification of executable pipelined machines with bit-level interfaces Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, (855-862)
McBride C and McKinna J Functional pearl Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, (1-9)
Sankaran N (1994). A bibliography on garbage collection and related topics, ACM SIGPLAN Notices, 29:9, (149-158), Online publication date: 1-Sep-1994.

Contributors

Jean Pierre Jouannaud
Paris-Saclay University
- Publication Years1977 - 2023
- Publication counts74
- Citation count1,108
- Available for Download6
- Downloads (cumulative)2,026
- Downloads (12 months)222
- Downloads (6 weeks)38
- Average Downloads per Article338
- Average Citation per Article15
View Full Profile

Index Terms

Proc. of a conference on Functional programming languages and computer architecture

Recommendations

Comments

Browse Proceedings

Sections

Miranda: a non-strict functional language with polymorphic types

Data flow graph optimization in ifi

Strictness analysis—a practical approach

The categorical abstract machine

High order programming in extended FP

Secd-m: a virtual machine for applicative programming

COBWEB—a combinator reduction architecture

How to replace failure by a list of successes

Lazy memo-functions

An architecture for fast data movement in the FFP machine

An architecture that efficiently updates associative aggregates in applicative programming languages

Lambda lifting: transforming programs to recursive equations

Optimizing almost-tail-recursive PROLOG programs

Designing regular array architectures using higher order functions

VFP: an environment for the multi-level specification, analysis, and synthesis of hardware algorithms.

A distributed garbage collection algorithm

Cyclic reference counting for combinator machines

Design for a multiprocessing heap with on-board reference counting

A functional language and modular architecture for scientific computing

Practical polymorphism

Program verification in a logical theory of construction

Transforming recursive programs for execution on parallel machines

Compiling pattern matching

Serial combinators: “optimal” grains of parallelism

The g-machine: a fast, graph-reduction evaluator

Cited By

Index Terms

Computer Architecture: ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected ... Applications, incl. Internet/Web, and HCI)

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture ... Computer Science and General Issues)

The quantum computer: complexity and settling of computations

Save to Binder

Sections

Cited By

Save to Binder

Index Terms

Recommendations

Computer Architecture: ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected ... Applications, incl. Internet/Web, and HCI)

Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II (Lecture ... Computer Science and General Issues)

The quantum computer: complexity and settling of computations