Assignments for applicative languages (1991)

Cached

Download Links

by Vipin Swarup , Uday S. Reddy , Evan Ireland , Palmerston North
Venue:Conf. on Functional Program. Lang. and Comput. Arch
Citations:37 - 10 self

Active Bibliography

Arrays in Imperative Lambda Calculus (Extended abstract) – Sam Kamin, Uday S. Reddy - 1992
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
Copyright C – By Ian Mason, Ian Mason, Carolyn Talcott
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
13 Rolling Your Own Mutable ADT --- A Connection between Linear Types and Monads --- – Chih-ping Chen, Paul Hudak - 1997
7 Deterministic Concurrency – David Paul Carter - 1993
9 Syntactic Detection of Single-Threading using Continuations – Pascal Fradet - 1991
Modular Monadic Semantics – Sheng Liang, Paul Hudak
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
4 A First Order Logic of Effects – Ian A. Mason - 1996
11 Reasoning about Programs with Effects – Ian Mason, Carolyn Talcott - 1990
5 Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads – Tyng-Ruey Chuang - 1992
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
34 The Design, Implementation and Evaluation of Jade, a Portable, Implicitly Parallel Programming Language – C. Rinard, John Hennessy, Anoop Gupta - 1994
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
456 Comprehending Monads – Philip Wadler - 1992
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
67 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
A Data Structure for More Efficient . . . – Melissa Elizabeth O’Neill - 1994