FPCA

Keyphrases

Publications

1995

David N. Turner, Philip Wadler, Christian Mossin
Once Upon a Type. FPCA (1995)
Carl A. Gunter, Didier Rémy, Jon G. Riecke
A Generalization of Exceptions and Control in ML-like Languages. FPCA (1995)
Patrick Cousot, Radhia Cousot
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA (1995)
J. Gregory Morrisett, Matthias Felleisen, Robert Harper
Abstract Models of Memory Management. FPCA (1995)
John Hughes, Andrew Moran
Making Choices Lazily. FPCA (1995)
Mitchell Wand
Compiler Correctness for Parallel Languages. FPCA (1995)
Klaus E. Schauser, Seth Copen Goldstein
How Much Non-Strictness do Lenient Programs Require? FPCA (1995)
Fritz Henglein, Jakob Rehof
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. FPCA (1995)
Malcolm Wallace, Colin Runciman
Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. FPCA (1995)
Johan Jeuring, S. Doaitse Swierstra
Constructing Functional Programs for Grammar Analysis Problems. FPCA (1995)
Martin Odersky, Philip Wadler, Martin Wehr
A Second Look at Overloading. FPCA (1995)
Erik Meijer, Graham Hutton
Bananas in Space: Extending Fold and Unfold to Exponential Types. FPCA (1995)
Guy E. Blelloch, John Greiner
Parallelism in Sequential Functional Languages. FPCA (1995)
Peter Thiemann
Unboxed Values and Polymorphic Typing Revisited. FPCA (1995)
Niklas Röjemo
Highlights from nhc - a Space-efficient Haskell Compiler. FPCA (1995)
Marcelo J. R. Gonçalves, Andrew W. Appel
Cache Performance of Fast-Allocating Programs. FPCA (1995)
John Launchbury, Tim Sheard
Warm Fusion: Deriving Build-Cata's from Recursive Definitions. FPCA (1995)
Shail Aditya, Arvind, Joseph E. Stoy
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. FPCA (1995)
Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde
Deriving Imperative Code from Functional Programs. FPCA (1995)
Johan Jeuring
Polytypic Pattern Matching. FPCA (1995)
Robin Sharp, Ole Rasmussen
Using a Language of Functions and Relations for VLSI Specification. FPCA (1995)
Massimo Marchiori
The Functional Side of Logic Programming. FPCA (1995)
Chris Okasaki
Purely Functional Random-Access Lists. FPCA (1995)
Alexander Aiken, Manuel Fähndrich
Dynamic Typing and Subtype Inference. FPCA (1995)
J. M. E. Hyland, C.-H. Luke Ong
Pi-Calculus, Dialogue Games and PCF. FPCA (1995)
Akihiko Takano, Erik Meijer
Shortcut Deforestation in Calculational Form. FPCA (1995)
Mikael Rittri
Dimension Inference Under Polymorphic Recursion. FPCA (1995)
Urban Boquist
Interprocedural Register Allocation for Lazy Functional Languages. FPCA (1995)
Mark P. Jones
Simplifying and Improving Qualified Types. FPCA (1995)
Rajiv Mirani, Paul Hudak
First-Class Schedules and Virtual Maps. FPCA (1995)
Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995 FPCA (1995)

1993