FPCA - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 215

1995

FPCA1995.

Semantics of Barriers in a Non-Strict, Implicitly-Parallel LanguageShail Aditya, Arvind, Joseph E. Stoy. fpca 1995: 204-215

Dynamic Typing and Subtype InferenceAlexander Aiken, Manuel Fähndrich. fpca 1995: 182-191

Parallelism in Sequential Functional LanguagesGuy E. Blelloch, John Greiner. fpca 1995: 226-237

Interprocedural Register Allocation for Lazy Functional LanguagesUrban Boquist. fpca 1995: 270-281

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract InterpretationPatrick Cousot, Radhia Cousot. fpca 1995: 170-181

Cache Performance of Fast-Allocating ProgramsMarcelo J. R. Gonçalves, Andrew W. Appel. fpca 1995: 293-305

A Generalization of Exceptions and Control in ML-like LanguagesCarl A. Gunter, Didier Rémy, Jon G. Riecke. fpca 1995: 12-23

Safe Polymorphic Type Inference for Scheme: Translating Scheme to MLFritz Henglein, Jakob Rehof. fpca 1995: 192-203

Making Choices LazilyJohn Hughes, Andrew Moran. fpca 1995: 108-119

Pi-Calculus, Dialogue Games and PCFJ. M. E. Hyland, C.-H. Luke Ong. fpca 1995: 96-107

Constructing Functional Programs for Grammar Analysis ProblemsJohan Jeuring, S. Doaitse Swierstra. fpca 1995: 259-269

Polytypic Pattern MatchingJohan Jeuring. fpca 1995: 238-248

Simplifying and Improving Qualified TypesMark P. Jones. fpca 1995: 160-169

Warm Fusion: Deriving Build-Cata s from Recursive DefinitionsJohn Launchbury, Tim Sheard. fpca 1995: 314-323

The Functional Side of Logic ProgrammingMassimo Marchiori. fpca 1995: 55-65

Bananas in Space: Extending Fold and Unfold to Exponential TypesErik Meijer, Graham Hutton. fpca 1995: 324-333

First-Class Schedules and Virtual MapsRajiv Mirani, Paul Hudak. fpca 1995: 78-85

Abstract Models of Memory ManagementJ. Gregory Morrisett, Matthias Felleisen, Robert Harper. fpca 1995: 66-77

A Second Look at OverloadingMartin Odersky, Philip Wadler, Martin Wehr. fpca 1995: 135-146

Purely Functional Random-Access ListsChris Okasaki. fpca 1995: 86-95

Deriving Imperative Code from Functional ProgramsPatrice Quinton, Sanjay V. Rajopadhye, Doran Wilde. fpca 1995: 36-44

Dimension Inference Under Polymorphic RecursionMikael Rittri. fpca 1995: 147-159

Highlights from nhc - a Space-efficient Haskell CompilerNiklas Röjemo. fpca 1995: 282-292

How Much Non-Strictness do Lenient Programs Require?Klaus E. Schauser, Seth Copen Goldstein. fpca 1995: 216-225

Using a Language of Functions and Relations for VLSI SpecificationRobin Sharp, Ole Rasmussen. fpca 1995: 45-54

Shortcut Deforestation in Calculational FormAkihiko Takano, Erik Meijer. fpca 1995: 306-313

Unboxed Values and Polymorphic Typing RevisitedPeter Thiemann. fpca 1995: 24-35

Once Upon a TypeDavid N. Turner, Philip Wadler, Christian Mossin. fpca 1995: 1-11

Lambdas in the Liftshaft - Functional Programming and an Embedded ArchitectureMalcolm Wallace, Colin Runciman. fpca 1995: 249-258

Compiler Correctness for Parallel LanguagesMitchell Wand. fpca 1995: 120-134

Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995John Williams, editor, ACM, 1995. [doi]

1993

FPCA1993.

Precedences for ConctypesAnnika Aasa. fpca 1993: 83-94

Compiler-directed Type Reconstruction for Polymorphic LanguagesShail Aditya, Alejandro Caro. fpca 1993: 74-82

Type Inclusion Constraints and Type InferenceAlexander Aiken, Edward L. Wimmers. fpca 1993: 31-41

Efficient Implementation of Sequential Loops in Dataflow ComputationBoon Seong Ang. fpca 1993: 169-178

Implementing Haskell OverloadingLennart Augustsson. fpca 1993: 65-73

Compiling Actions by Partial EvaluationAnders Bondorf, Jens Palsberg. fpca 1993: 308-320

FUDGETS: A Graphical User Interface in a Lazy Functional LanguageMats Carlsson, Thomas Hallgren. fpca 1993: 321-330

Widening the Representation Bottleneck: A Functional Implementation of Relational ProgrammingDave Cattrall, Colin Runciman. fpca 1993: 191-200

Real-Time Deques, Multihead Thring Machines, and Purely Functional ProgrammingTyng-Ruey Chuang, Benjamin Goldberg. fpca 1993: 289-298

Polling Efficiently on Stock HardwareMarc Feeley. fpca 1993: 179-190

Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machineSigbjorn Finne, Geoffrey L. Burn. fpca 1993: 331-340

A Short Cut to DeforestationAndrew J. Gill, John Launchbury, Simon L. Peyton Jones. fpca 1993: 223-232

An Operational Semantics for I/O in a Lazy Functional LanguageAndrew D. Gordon. fpca 1993: 136-145

Some Issues in a Functional Implementation of a Finite Element AlgorithmPhilip W. Grant, J. A. Sharp, Michael F. Webster, X. Zhang. fpca 1993: 12-17

On the Relation between Functional and Data Parallel Programming LanguagesP. Hammarlund, Björn Lisper. fpca 1993: 210-222

Benchmarking Implementations of Lazy Functional LanguagesPieter H. Hartel, Koen Langendoen. fpca 1993: 341-349

Experiences with Compiler-Directed Storage ReclamationJ. Hicks. fpca 1993: 95-105

A System of Constructor Classes: Overloading and Implicit Higher-Order PolymorphismMark P. Jones. fpca 1993: 52-64

Benchmarking Real-Life Image Processing Programs in Lazy Functional LanguagesY. Kozato, G. P. Otto. fpca 1993: 18-30

Parallel Implementation of BagsHerbert Kuchen, Katia Gladitz. fpca 1993: 299-307

Conjunctive SubtypingDavid J. Lillie. fpca 1993: 42-51

Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic LanguagesF. Liu. fpca 1993: 201-209

Sound Rules for Parallel Evaluation of a Functional Language with callccLuc Moreau, Daniel Ribbens. fpca 1993: 125-135

Strictness Analysis using Abstract ReductionEric Nöcker. fpca 1993: 255-265 [doi]

Experience with a Large Scientific Application in a Functional LanguageR. L. Page, B. D. Moe. fpca 1993: 3-11

From Operational Definitions to Abstract SemanticsS. Purushothaman, Jill Seaman. fpca 1993: 276-288

Delimiting the Scope of EffectsJon G. Riecke. fpca 1993: 146-158

Generation and Quantitative Evaluation of Dataflow ClustersLucas Roh, Walid A. Najjar, A. P. Wim Böhm. fpca 1993: 159-168

Generational Garbage Collection for HaskellPatrick M. Sansom, Simon L. Peyton Jones. fpca 1993: 106-116

Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat AggregatesA. V. S. Sastry, William D. Clinger, Zena M. Ariola. fpca 1993: 266-275

A Fold for All SeasonsTim Sheard, Leonidas Fegaras. fpca 1993: 233-242

Fixing Some Space Leaks without a Garbage CollectorJan Sparud. fpca 1993: 117-124

Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993John Williams, editor, ACM, 1993. [doi]

Optimal Reduction in Weak-Lambda-calculus with Shared EnvironmentsN. Yoshida. fpca 1993: 243-254

1991

Incremental PolymorphismShail Aditya, Rishiyur S. Nikhil. fpca 1991: 379-405

Implementing Regular Tree ExpressionsAlexander Aiken, Brian R. Murphy. fpca 1991: 427-447

A Note on Abstract Interpretation of Polymorphic FunctionsGebreselassie Baraki. fpca 1991: 367-378

M-Structures: Extending a Parallel, Non-strict, Functional Language with StatePaul S. Barth, Rishiyur S. Nikhil, Arvind. fpca 1991: 538-568

An Architectural Technique for Cache-level Garbage CollectionTzi-cker Chiueh. fpca 1991: 520-537

For a Better Support of Static Data FlowCharles Consel, Olivier Danvy. fpca 1991: 496-519

Syntactic Detection of Single-Threading Using ContinuationsPascal Fradet. fpca 1991: 241-258

What is an Efficient Implementation of the /lambda-calculus?Gudmund Skovbjerg Frandsen, Carl Sturtivant. fpca 1991: 289-312

Making Abstract Machines Less AbstractJohn Hannan. fpca 1991: 618-635

Efficient Type Inference for Higher-Order Binding-Time AnalysisFritz Henglein. fpca 1991: 448-472 [doi]

List Comprehensions in Agna, A Parallel Persistant Object SystemMichael L. Heytens, Rishiyur S. Nikhil. fpca 1991: 569-591

Finiteness AnalysisCarsten Kehler Holst. fpca 1991: 473-495

Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, ProceedingsJohn Hughes, editor, Volume 523 of Lecture Notes in Computer Science, Springer, 1991.

Strictness Analysis in Logical FormThomas P. Jensen. fpca 1991: 352-366

A Strongly-Typed Self-Applicable Partial EvaluatorJohn Launchbury. fpca 1991: 145-164

Dynamics in MLXavier Leroy, Michel Mauny. fpca 1991: 406-426

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy LanguagesAllen Leung, Prateek Mishra. fpca 1991: 328-351

A Projection Model of TypesDavid J. Lillie, Peter G. Harrison. fpca 1991: 259-288

Outline of a Proof Theory of ParametricityHarry G. Mairson. fpca 1991: 313-327

GAML: a Parallel Implementation of Lazy MLLuc Maranget. fpca 1991: 102-123

Functional Programming with Bananas, Lenses, Envelopes and Barbed WireErik Meijer, Maarten M. Fokkinga, Ross Paterson. fpca 1991: 124-144

Unboxed Values as First Class Citizens in a Non-Strict Functional LanguageSimon L. Peyton Jones, John Launchbury. fpca 1991: 636-666

Generating Efficient Code for Lazy Functional LanguagesSjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer. fpca 1991: 592-617

Assignments for Applicative LanguagesVipin Swarup, Uday S. Reddy, Evan Ireland. fpca 1991: 192-214

Coercive Type IsomorphismSatish R. Thatte. fpca 1991: 29-49

Multi-thread Code Generation for Dataflow Architectures from Non-Strict ProgramsKenneth R. Traub. fpca 1991: 73-101

On the Complexity of ML Typability with OverloadingDennis M. Volpano, Geoffrey Smith. fpca 1991: 15-28

Linearity and LazinessDavid Wakeling, Colin Runciman. fpca 1991: 215-240

Automatic Online Partial EvaluationDaniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman. fpca 1991: 165-191 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

FPCA (fpca)

Viewing Publication 1 - 100 from 215

1995

1993

1991

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

FPCA (fpca)

Viewing Publication 1 - 100 from 215

1995

1993

1991

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1