A Parallel Functional Language Compiler for Message-Passing Multicomputers (1998)

Cached

Download Links

by Sahalu B. Junaidu
Citations:4 - 2 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
1 Typed Concurrent Programming with Logic Variables – Martin Müller, Joachim Niehren, Gert Smolka - 1997
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
7 Deterministic Concurrency – David Paul Carter - 1993
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages – Ralph C. Hilzer, Jr. , Lawrence A. Crowl - 1995
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
1 Polymorphic Type Checking by Interpretation of Code – Stefan Kahrs - 1992
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
22 A Concurrent Lambda Calculus with Futures – Joachim Niehren, Jan Schwinghammer, Gert Smolka - 2006
Representing Control in Parallel Applicative Programming – Chi Yao - 1994
19 Embedded Interpreters – Nick Benton - 2003
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997