Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter Thiemann 0001 |
Unboxed Values and Polymorphic Typing Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 24-35, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Philip Wadler, Martin Wehr |
A Second Look at Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 135-146, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shail Aditya, Arvind, Joseph E. Stoy |
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 204-215, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erik Meijer 0001, Graham Hutton |
Bananas in Space: Extending Fold and Unfold to Exponential Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 324-333, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Rittri |
Dimension Inference Under Polymorphic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 147-159, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 170-181, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Carl A. Gunter, Didier Rémy, Jon G. Riecke |
A Generalization of Exceptions and Control in ML-like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 12-23, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo J. R. Gonçalves, Andrew W. Appel |
Cache Performance of Fast-Allocating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 293-305, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Williams (eds.) |
Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![ACM, 0-89791-719-7 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001, Andrew Moran |
Making Choices Lazily. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 108-119, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | J. Gregory Morrisett, Matthias Felleisen, Robert Harper 0001 |
Abstract Models of Memory Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 66-77, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Klaus E. Schauser, Seth Copen Goldstein |
How Much Non-Strictness do Lenient Programs Require? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 216-225, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Akihiko Takano, Erik Meijer 0001 |
Shortcut Deforestation in Calculational Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 306-313, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde |
Deriving Imperative Code from Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 36-44, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Mirani, Paul Hudak |
First-Class Schedules and Virtual Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 78-85, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Marchiori |
The Functional Side of Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 55-65, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johan Jeuring |
Polytypic Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 238-248, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Röjemo |
Highlights from nhc - a Space-efficient Haskell Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 282-292, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Launchbury, Tim Sheard |
Warm Fusion: Deriving Build-Cata's from Recursive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 314-323, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David N. Turner, Philip Wadler, Christian Mossin |
Once Upon a Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 1-11, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Guy E. Blelloch, John Greiner |
Parallelism in Sequential Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 226-237, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand |
Compiler Correctness for Parallel Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 120-134, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Aiken, Manuel Fähndrich |
Dynamic Typing and Subtype Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 182-191, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | J. M. E. Hyland, C.-H. Luke Ong |
Pi-Calculus, Dialogue Games and PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 96-107, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark P. Jones |
Simplifying and Improving Qualified Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 160-169, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johan Jeuring, S. Doaitse Swierstra |
Constructing Functional Programs for Grammar Analysis Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 259-269, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Malcolm Wallace, Colin Runciman |
Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 249-258, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein, Jakob Rehof |
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 192-203, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Urban Boquist |
Interprocedural Register Allocation for Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 270-281, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Robin Sharp, Ole Rasmussen |
Using a Language of Functions and Relations for VLSI Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 45-54, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chris Okasaki |
Purely Functional Random-Access Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 86-95, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | A. V. S. Sastry, William D. Clinger, Zena M. Ariola |
Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 266-275, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luc Moreau 0001, Daniel Ribbens |
Sound Rules for Parallel Evaluation of a Functional Language with callcc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 125-135, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tyng-Ruey Chuang, Benjamin Goldberg |
Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 289-298, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrew John Gill, John Launchbury, Simon L. Peyton Jones |
A Short Cut to Deforestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 223-232, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001 |
An Operational Semantics for I/O in a Lazy Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 136-145, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tim Sheard, Leonidas Fegaras |
A Fold for All Seasons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 233-242, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Anders Bondorf, Jens Palsberg |
Compiling Actions by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 308-320, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sigbjørn Finne, Geoffrey Livingston Burn |
Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 331-340, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Augustsson |
Implementing Haskell Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 65-73, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yasuo Kozato, G. Paul Otto |
Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 18-30, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John Williams (eds.) |
Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![ACM, 0-89791-595-X The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marc Feeley |
Polling Efficiently on Stock Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 179-190, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Aiken, Edward L. Wimmers |
Type Inclusion Constraints and Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 31-41, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Per Hammarlund, Björn Lisper |
On the Relation between Functional and Data Parallel Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 210-222, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Shail Aditya, Alejandro Caro |
Compiler-directed Type Reconstruction for Polymorphic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 74-82, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mats Carlsson, Thomas Hallgren |
FUDGETS: A Graphical User Interface in a Lazy Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 321-330, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | James Hicks |
Experiences with Compiler-Directed Storage Reclamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 95-105, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Patrick M. Sansom, Simon L. Peyton Jones |
Generational Garbage Collection for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 106-116, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Nobuko Yoshida |
Optimal Reduction in Weak-λ-calculus with Shared Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 243-254, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mark P. Jones |
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 52-64, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Boon Seong Ang |
Efficient Implementation of Sequential Loops in Dataflow Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 169-178, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Eric Nöcker |
Strictness Analysis using Abstract Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 255-265, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dave Cattrall, Colin Runciman |
Widening the Representation Bottleneck: A Functional Implementation of Relational Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 191-200, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Philip W. Grant, John A. Sharp, Michael F. Webster, Xiaoming Zhang |
Some Issues in a Functional Implementation of a Finite Element Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 12-17, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Annika Aasa |
Precedences for Conctypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 83-94, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pieter H. Hartel, Koen Langendoen |
Benchmarking Implementations of Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 341-349, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | S. Purushothaman, Jill Seaman |
From Operational Definitions to Abstract Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 276-288, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David J. Lillie |
Conjunctive Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 42-51, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jon G. Riecke |
Delimiting the Scope of Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 146-158, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rex L. Page, Brian D. Moe |
Experience with a Large Scientific Application in a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 3-11, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Feixiong Liu |
Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 201-209, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Roh, Walid A. Najjar, A. P. Wim Böhm |
Generation and Quantitative Evaluation of Dataflow Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 159-168, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jan Sparud |
Fixing Some Space Leaks without a Garbage Collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 117-124, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Kuchen, Katia Gladitz |
Parallel Implementation of Bags. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 299-307, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth R. Traub |
Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 73-101, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001 (eds.) |
Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![Springer, 3-540-54396-1 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Satish R. Thatte |
Coercive Type Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 29-49, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fradet |
Syntactic Detection of Single-Threading Using Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 241-258, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Barth, Rishiyur S. Nikhil, Arvind |
M-Structures: Extending a Parallel, Non-strict, Functional Language with State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 538-568, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David J. Lillie, Peter G. Harrison |
A Projection Model of Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 259-288, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Thomas P. Jensen |
Strictness Analysis in Logical Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 352-366, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Allen Leung, Prateek Mishra |
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 328-351, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Klaus E. Schauser, David E. Culler, Thorsten von Eicken |
Compiler-Controlled Multithreading for Lenient Parallel Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 50-72, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Sjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer |
Generating Efficient Code for Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 592-617, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Henglein |
Efficient Type Inference for Higher-Order Binding-Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 448-472, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David Wakeling, Colin Runciman |
Linearity and Laziness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 215-240, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Aiken, Brian R. Murphy |
Implementing Regular Tree Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 427-447, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman |
Automatic Online Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 165-191, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Harry G. Mairson |
Outline of a Proof Theory of Parametricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 313-327, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Luc Maranget |
GAML: a Parallel Implementation of Lazy ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 102-123, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow, Gregor Snelting |
Type Classes and Overloading Resolution via Order-Sorted Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 1-14, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy, Michel Mauny |
Dynamics in ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 406-426, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Dennis M. Volpano, Geoffrey S. Smith |
On the Complexity of ML Typability with Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 15-28, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John Launchbury |
A Strongly-Typed Self-Applicable Partial Evaluator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 145-164, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, John Launchbury |
Unboxed Values as First Class Citizens in a Non-Strict Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 636-666, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gebreselassie Baraki |
A Note on Abstract Interpretation of Polymorphic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 367-378, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Shail Aditya, Rishiyur S. Nikhil |
Incremental Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 379-405, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Vipin Swarup, Uday S. Reddy, Evan Ireland |
Assignments for Applicative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 192-214, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Tzi-cker Chiueh |
An Architectural Technique for Cache-level Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 520-537, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Erik Meijer 0001, Maarten M. Fokkinga, Ross Paterson |
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 124-144, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gudmund Skovbjerg Frandsen, Carl Sturtivant |
What is an Efficient Implementation of the \lambda-calculus? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 289-312, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, Olivier Danvy |
For a Better Support of Static Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 496-519, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Kehler Holst |
Finiteness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 473-495, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | John Hannan |
Making Abstract Machines Less Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 618-635, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michael L. Heytens, Rishiyur S. Nikhil |
List Comprehensions in Agna, A Parallel Persistant Object System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 569-591, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Hunt |
Frontiers and Open Sets in Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 1-13, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | David R. Lester |
Stacklessness: Compiling Recursion for a Distributed Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 116-128, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | F. Warren Burton |
Indeterminate Behavior with Determinate Semantics in Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 340-346, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Miranda |
1 | Colin Runciman, Ian Toyn |
Retrieving Re-Usable Software Components by Polymorphic Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 166-173, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|