Search results for "FPCA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Peter Thiemann 0001	Unboxed Values and Polymorphic Typing Revisited.	FPCA	1995	DBLP DOI BibTeX RDF
1	Martin Odersky, Philip Wadler, Martin Wehr	A Second Look at Overloading.	FPCA	1995	DBLP DOI BibTeX RDF
1	Shail Aditya, Arvind, Joseph E. Stoy	Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language.	FPCA	1995	DBLP DOI BibTeX RDF
1	Erik Meijer 0001, Graham Hutton	Bananas in Space: Extending Fold and Unfold to Exponential Types.	FPCA	1995	DBLP DOI BibTeX RDF
1	Mikael Rittri	Dimension Inference Under Polymorphic Recursion.	FPCA	1995	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation.	FPCA	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.	FPCA	1995	DBLP DOI BibTeX RDF
1	Marcelo J. R. Gonçalves, Andrew W. Appel	Cache Performance of Fast-Allocating Programs.	FPCA	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	FPCA	1995	DBLP DOI BibTeX RDF
1	John Hughes 0001, Andrew Moran	Making Choices Lazily.	FPCA	1995	DBLP DOI BibTeX RDF
1	J. Gregory Morrisett, Matthias Felleisen, Robert Harper 0001	Abstract Models of Memory Management.	FPCA	1995	DBLP DOI BibTeX RDF
1	Klaus E. Schauser, Seth Copen Goldstein	How Much Non-Strictness do Lenient Programs Require?	FPCA	1995	DBLP DOI BibTeX RDF
1	Akihiko Takano, Erik Meijer 0001	Shortcut Deforestation in Calculational Form.	FPCA	1995	DBLP DOI BibTeX RDF
1	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	Deriving Imperative Code from Functional Programs.	FPCA	1995	DBLP DOI BibTeX RDF
1	Rajiv Mirani, Paul Hudak	First-Class Schedules and Virtual Maps.	FPCA	1995	DBLP DOI BibTeX RDF
1	Massimo Marchiori	The Functional Side of Logic Programming.	FPCA	1995	DBLP DOI BibTeX RDF
1	Johan Jeuring	Polytypic Pattern Matching.	FPCA	1995	DBLP DOI BibTeX RDF
1	Niklas Röjemo	Highlights from nhc - a Space-efficient Haskell Compiler.	FPCA	1995	DBLP DOI BibTeX RDF
1	John Launchbury, Tim Sheard	Warm Fusion: Deriving Build-Cata's from Recursive Definitions.	FPCA	1995	DBLP DOI BibTeX RDF
1	David N. Turner, Philip Wadler, Christian Mossin	Once Upon a Type.	FPCA	1995	DBLP DOI BibTeX RDF
1	Guy E. Blelloch, John Greiner	Parallelism in Sequential Functional Languages.	FPCA	1995	DBLP DOI BibTeX RDF
1	Mitchell Wand	Compiler Correctness for Parallel Languages.	FPCA	1995	DBLP DOI BibTeX RDF
1	Alexander Aiken, Manuel Fähndrich	Dynamic Typing and Subtype Inference.	FPCA	1995	DBLP DOI BibTeX RDF
1	J. M. E. Hyland, C.-H. Luke Ong	Pi-Calculus, Dialogue Games and PCF.	FPCA	1995	DBLP DOI BibTeX RDF
1	Mark P. Jones	Simplifying and Improving Qualified Types.	FPCA	1995	DBLP DOI BibTeX RDF
1	Johan Jeuring, S. Doaitse Swierstra	Constructing Functional Programs for Grammar Analysis Problems.	FPCA	1995	DBLP DOI BibTeX RDF
1	Malcolm Wallace, Colin Runciman	Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture.	FPCA	1995	DBLP DOI BibTeX RDF
1	Fritz Henglein, Jakob Rehof	Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML.	FPCA	1995	DBLP DOI BibTeX RDF
1	Urban Boquist	Interprocedural Register Allocation for Lazy Functional Languages.	FPCA	1995	DBLP DOI BibTeX RDF
1	Robin Sharp, Ole Rasmussen	Using a Language of Functions and Relations for VLSI Specification.	FPCA	1995	DBLP DOI BibTeX RDF
1	Chris Okasaki	Purely Functional Random-Access Lists.	FPCA	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.	FPCA	1993	DBLP DOI BibTeX RDF
1	Luc Moreau 0001, Daniel Ribbens	Sound Rules for Parallel Evaluation of a Functional Language with callcc.	FPCA	1993	DBLP DOI BibTeX RDF
1	Tyng-Ruey Chuang, Benjamin Goldberg	Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming.	FPCA	1993	DBLP DOI BibTeX RDF
1	Andrew John Gill, John Launchbury, Simon L. Peyton Jones	A Short Cut to Deforestation.	FPCA	1993	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001	An Operational Semantics for I/O in a Lazy Functional Language.	FPCA	1993	DBLP DOI BibTeX RDF
1	Tim Sheard, Leonidas Fegaras	A Fold for All Seasons.	FPCA	1993	DBLP DOI BibTeX RDF
1	Anders Bondorf, Jens Palsberg	Compiling Actions by Partial Evaluation.	FPCA	1993	DBLP DOI BibTeX RDF
1	Sigbjørn Finne, Geoffrey Livingston Burn	Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine.	FPCA	1993	DBLP DOI BibTeX RDF
1	Lennart Augustsson	Implementing Haskell Overloading.	FPCA	1993	DBLP DOI BibTeX RDF
1	Yasuo Kozato, G. Paul Otto	Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages.	FPCA	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	FPCA	1993	DBLP DOI BibTeX RDF
1	Marc Feeley	Polling Efficiently on Stock Hardware.	FPCA	1993	DBLP DOI BibTeX RDF
1	Alexander Aiken, Edward L. Wimmers	Type Inclusion Constraints and Type Inference.	FPCA	1993	DBLP DOI BibTeX RDF
1	Per Hammarlund, Björn Lisper	On the Relation between Functional and Data Parallel Programming Languages.	FPCA	1993	DBLP DOI BibTeX RDF
1	Shail Aditya, Alejandro Caro	Compiler-directed Type Reconstruction for Polymorphic Languages.	FPCA	1993	DBLP DOI BibTeX RDF
1	Mats Carlsson, Thomas Hallgren	FUDGETS: A Graphical User Interface in a Lazy Functional Language.	FPCA	1993	DBLP DOI BibTeX RDF
1	James Hicks	Experiences with Compiler-Directed Storage Reclamation.	FPCA	1993	DBLP DOI BibTeX RDF
1	Patrick M. Sansom, Simon L. Peyton Jones	Generational Garbage Collection for Haskell.	FPCA	1993	DBLP DOI BibTeX RDF
1	Nobuko Yoshida	Optimal Reduction in Weak-λ-calculus with Shared Environments.	FPCA	1993	DBLP DOI BibTeX RDF
1	Mark P. Jones	A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.	FPCA	1993	DBLP DOI BibTeX RDF
1	Boon Seong Ang	Efficient Implementation of Sequential Loops in Dataflow Computation.	FPCA	1993	DBLP DOI BibTeX RDF
1	Eric Nöcker	Strictness Analysis using Abstract Reduction.	FPCA	1993	DBLP DOI BibTeX RDF
1	Dave Cattrall, Colin Runciman	Widening the Representation Bottleneck: A Functional Implementation of Relational Programming.	FPCA	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.	FPCA	1993	DBLP DOI BibTeX RDF
1	Annika Aasa	Precedences for Conctypes.	FPCA	1993	DBLP DOI BibTeX RDF
1	Pieter H. Hartel, Koen Langendoen	Benchmarking Implementations of Lazy Functional Languages.	FPCA	1993	DBLP DOI BibTeX RDF
1	S. Purushothaman, Jill Seaman	From Operational Definitions to Abstract Semantics.	FPCA	1993	DBLP DOI BibTeX RDF
1	David J. Lillie	Conjunctive Subtyping.	FPCA	1993	DBLP DOI BibTeX RDF
1	Jon G. Riecke	Delimiting the Scope of Effects.	FPCA	1993	DBLP DOI BibTeX RDF
1	Rex L. Page, Brian D. Moe	Experience with a Large Scientific Application in a Functional Language.	FPCA	1993	DBLP DOI BibTeX RDF
1	Feixiong Liu	Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages.	FPCA	1993	DBLP DOI BibTeX RDF
1	Lucas Roh, Walid A. Najjar, A. P. Wim Böhm	Generation and Quantitative Evaluation of Dataflow Clusters.	FPCA	1993	DBLP DOI BibTeX RDF
1	Jan Sparud	Fixing Some Space Leaks without a Garbage Collector.	FPCA	1993	DBLP DOI BibTeX RDF
1	Herbert Kuchen, Katia Gladitz	Parallel Implementation of Bags.	FPCA	1993	DBLP DOI BibTeX RDF
1	Kenneth R. Traub	Multi-thread Code Generation for Dataflow Architectures from Non-Strict Programs.	FPCA	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	FPCA	1991	DBLP DOI BibTeX RDF
1	Satish R. Thatte	Coercive Type Isomorphism.	FPCA	1991	DBLP DOI BibTeX RDF
1	Pascal Fradet	Syntactic Detection of Single-Threading Using Continuations.	FPCA	1991	DBLP DOI BibTeX RDF
1	Paul S. Barth, Rishiyur S. Nikhil, Arvind	M-Structures: Extending a Parallel, Non-strict, Functional Language with State.	FPCA	1991	DBLP DOI BibTeX RDF
1	David J. Lillie, Peter G. Harrison	A Projection Model of Types.	FPCA	1991	DBLP DOI BibTeX RDF
1	Thomas P. Jensen	Strictness Analysis in Logical Form.	FPCA	1991	DBLP DOI BibTeX RDF
1	Allen Leung, Prateek Mishra	Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages.	FPCA	1991	DBLP DOI BibTeX RDF
1	Klaus E. Schauser, David E. Culler, Thorsten von Eicken	Compiler-Controlled Multithreading for Lenient Parallel Languages.	FPCA	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.	FPCA	1991	DBLP DOI BibTeX RDF
1	Fritz Henglein	Efficient Type Inference for Higher-Order Binding-Time Analysis.	FPCA	1991	DBLP DOI BibTeX RDF
1	David Wakeling, Colin Runciman	Linearity and Laziness.	FPCA	1991	DBLP DOI BibTeX RDF
1	Alexander Aiken, Brian R. Murphy	Implementing Regular Tree Expressions.	FPCA	1991	DBLP DOI BibTeX RDF
1	Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman	Automatic Online Partial Evaluation.	FPCA	1991	DBLP DOI BibTeX RDF
1	Harry G. Mairson	Outline of a Proof Theory of Parametricity.	FPCA	1991	DBLP DOI BibTeX RDF
1	Luc Maranget	GAML: a Parallel Implementation of Lazy ML.	FPCA	1991	DBLP DOI BibTeX RDF
1	Tobias Nipkow, Gregor Snelting	Type Classes and Overloading Resolution via Order-Sorted Unification.	FPCA	1991	DBLP DOI BibTeX RDF
1	Xavier Leroy, Michel Mauny	Dynamics in ML.	FPCA	1991	DBLP DOI BibTeX RDF
1	Dennis M. Volpano, Geoffrey S. Smith	On the Complexity of ML Typability with Overloading.	FPCA	1991	DBLP DOI BibTeX RDF
1	John Launchbury	A Strongly-Typed Self-Applicable Partial Evaluator.	FPCA	1991	DBLP DOI BibTeX RDF
1	Simon L. Peyton Jones, John Launchbury	Unboxed Values as First Class Citizens in a Non-Strict Functional Language.	FPCA	1991	DBLP DOI BibTeX RDF
1	Gebreselassie Baraki	A Note on Abstract Interpretation of Polymorphic Functions.	FPCA	1991	DBLP DOI BibTeX RDF
1	Shail Aditya, Rishiyur S. Nikhil	Incremental Polymorphism.	FPCA	1991	DBLP DOI BibTeX RDF
1	Vipin Swarup, Uday S. Reddy, Evan Ireland	Assignments for Applicative Languages.	FPCA	1991	DBLP DOI BibTeX RDF
1	Tzi-cker Chiueh	An Architectural Technique for Cache-level Garbage Collection.	FPCA	1991	DBLP DOI BibTeX RDF
1	Erik Meijer 0001, Maarten M. Fokkinga, Ross Paterson	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.	FPCA	1991	DBLP DOI BibTeX RDF
1	Gudmund Skovbjerg Frandsen, Carl Sturtivant	What is an Efficient Implementation of the \lambda-calculus?	FPCA	1991	DBLP DOI BibTeX RDF
1	Charles Consel, Olivier Danvy	For a Better Support of Static Data Flow.	FPCA	1991	DBLP DOI BibTeX RDF
1	Carsten Kehler Holst	Finiteness Analysis.	FPCA	1991	DBLP DOI BibTeX RDF
1	John Hannan	Making Abstract Machines Less Abstract.	FPCA	1991	DBLP DOI BibTeX RDF
1	Michael L. Heytens, Rishiyur S. Nikhil	List Comprehensions in Agna, A Parallel Persistant Object System.	FPCA	1991	DBLP DOI BibTeX RDF
1	Sebastian Hunt	Frontiers and Open Sets in Abstract Interpretation.	FPCA	1989	DBLP DOI BibTeX RDF
1	David R. Lester	Stacklessness: Compiling Recursion for a Distributed Architecture.	FPCA	1989	DBLP DOI BibTeX RDF
1	F. Warren Burton	Indeterminate Behavior with Determinate Semantics in Parallel Programs.	FPCA	1989	DBLP DOI BibTeX RDF	Miranda
1	Colin Runciman, Ian Toyn	Retrieving Re-Usable Software Components by Polymorphic Type.	FPCA	1989	DBLP DOI BibTeX RDF

Publications at "FPCA"( http://dblp.L3S.de/Venues/FPCA )