7. FPCA 1995: La Jolla, CA, USA

Conference Record of FPCA '95 SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture. La Jolla, CA, USA, 25-28 June 1995. ACM Press, 1995, ISBN 0-89791-7

Session 1

David N. Turner, Philip Wadler, Christian Mossin: Once Upon a Type. 1-11 BibTeX
Carl A. Gunter, Didier Rémy, Jon G. Riecke: A Generalization of Exceptions and Control in ML-like Languages. 12-23 BibTeX
Peter Thiemann: Unboxed Values and Polymorphic Typing Revisited. 24-35 BibTeX

Session 2

Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde: Deriving Imperative Code from Functional Programs. 36-44 BibTeX
Robin Sharp, Ole Rasmussen: Using a Language of Functions and Relations for VLSI Specification. 45-54 BibTeX
Massimo Marchiori: The Functional Side of Logic Programming. 55-65 BibTeX

Session 3

J. Gregory Morrisett, Matthias Felleisen, Robert Harper: Abstract Models of Memory Management. 66-77 BibTeX
Rajiv Mirani, Paul Hudak: First-Class Schedules and Virtual Maps. 78-85 BibTeX
Chris Okasaki: Purely Functional Random-Access Lists. 86-95 BibTeX

Session 4

J. M. E. Hyland, C.-H. Luke Ong: Pi-Calculus, Dialogue Games and PCF. 96-107 BibTeX
John Hughes, Andrew Moran: Making Choices Lazily. 108-119 BibTeX
Mitchell Wand: Compiler Correctness for Parallel Languages. 120-134 BibTeX

Session 5

Martin Odersky, Philip Wadler, Martin Wehr: A Second Look at Overloading. 135-146 BibTeX
Mikael Rittri: Dimension Inference Under Polymorphic Recursion. 147-159 BibTeX
Mark P. Jones: Simplifying and Improving Qualified Types. 160-169 BibTeX

Session 6

Patrick Cousot, Radhia Cousot: Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. 170-181 BibTeX
Alexander Aiken, Manuel Fähndrich: Dynamic Typing and Subtype Inference. 182-191 BibTeX
Fritz Henglein, Jakob Rehof: Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. 192-203 BibTeX

Session 7

Shail Aditya, Arvind, Joseph E. Stoy: Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. 204-215 BibTeX
Klaus E. Schauser, Seth Copen Goldstein: How Much Non-Strictness do Lenient Programs Require? 216-225 BibTeX
Guy E. Blelloch, John Greiner: Parallelism in Sequential Functional Languages. 226-237 BibTeX

Session 8

Johan Jeuring: Polytypic Pattern Matching. 238-248 BibTeX
Malcolm Wallace, Colin Runciman: Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. 249-258 BibTeX
Johan Jeuring, S. Doaitse Swierstra: Constructing Functional Programs for Grammar Analysis Problems. 259-269 BibTeX

Session 9

Urban Boquist: Interprocedural Register Allocation for Lazy Functional Languages. 270-281 BibTeX
Niklas Röjemo: Highlights from nhc - a Space-efficient Haskell Compiler. 282-292 BibTeX
Marcelo J. R. Gonçalves, Andrew W. Appel: Cache Performance of Fast-Allocating Programs. 293-305 BibTeX

Session 10

Akihiko Takano, Erik Meijer: Shortcut Deforestation in Calculational Form. 306-313 BibTeX
John Launchbury, Tim Sheard: Warm Fusion: Deriving Build-Cata's from Recursive Definitions. 314-323 BibTeX
Erik Meijer, Graham Hutton: Bananas in Space: Extending Fold and Unfold to Exponential Types. 324-333 BibTeX

Copyright © Sat May 16 23:12:38 2009 by Michael Ley (ley@uni-trier.de)