Simon L. Peyton Jones

According to our database1, Simon L. Peyton Jones authored at least 218 papers between 1981 and 2020.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2004, "For contributions to functional programming languages.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Build systems à la carte: Theory and practice.
J. Funct. Program., 2020

Large-Scale Educational Question Analysis with Partial Variational Auto-encoders.
CoRR, 2020

2019
Efficient differentiable programming in a functional array-processing language.
Proc. ACM Program. Lang., 2019

Higher-order type-level programming in Haskell.
Proc. ACM Program. Lang., 2019

Selective Lambda Lifting.
CoRR, 2019

Making a faster Curry with extensional types.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Codata in Action.
Proceedings of the Programming Languages and Systems, 2019

2018
Build systems à la carte.
Proc. ACM Program. Lang., 2018

Linear Haskell: practical linearity in a higher-order polymorphic language.
Proc. ACM Program. Lang., 2018

Efficient Differentiable Programming in a Functional Array-Processing Language.
CoRR, 2018

Calculation View: multiple-representation editing in spreadsheets.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

Guarded impredicative polymorphism.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Type variables in patterns.
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017
SHErrLoc: A Static Holistic Error Locator.
ACM Trans. Program. Lang. Syst., 2017

Trees that Grow.
J. UCS, 2017

Modular, higher order cardinality analysis in theory and practice.
J. Funct. Program., 2017

Exploiting vector instructions with generalized stream fusion.
Commun. ACM, 2017

Compiling without continuations.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Levity polymorphism.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Destination-passing style for efficient memory management.
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

How to Write a Great Research Paper.
Proceedings of the 2017 Imperial College Computing Student Workshop, 2017

2016
Composable scheduler activations for Haskell.
J. Funct. Program., 2016

Safe zero-cost coercions for Haskell.
J. Funct. Program., 2016

Sequent calculus as a compiler intermediate language.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Pattern synonyms.
Proceedings of the 9th International Symposium on Haskell, 2016

Non-recursive make considered harmful: build systems at scale.
Proceedings of the 9th International Symposium on Haskell, 2016

Desugaring Haskell's do-notation into applicative operations.
Proceedings of the 9th International Symposium on Haskell, 2016

A Reflection on Types.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
The dream of a lifetime: an opportunity to shape how our children learn computing.
Proceedings of the 26th Annual Workshop of the Psychology of Programming Interest Group, 2015

Diagnosing type errors with class.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Injective type families for Haskell.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014
Modular, higher-order cardinality analysis in theory and practice.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Backpack: retrofitting Haskell with interfaces.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Closed type families with overlapping equations.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Refinement types for Haskell.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013
Type-Directed Compilation in the Wild: Haskell and Core.
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

Bringing computer science back into schools: lessons from the UK.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Evidence Normalization in System FC (Invited Talk).
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

HALO: haskell to logic through denotational semantics.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

The computing at school working group.
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

Exploiting vector instructions with generalized stream fusio.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Computer science as a school subject.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012
Safe Haskell.
TinyToCS, 2012

Giving Haskell a promotion.
Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Equality proofs and deferred type errors: a compiler pearl.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Work efficient higher-order vectorisation.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Guiding parallel array fusion with indexed types.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Vectorisation avoidance.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Lazy v. Yield: Incremental, Linear Pretty-Printing.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
OutsideIn(X) Modular type inference with local assumptions.
J. Funct. Program., 2011

Generative type abstraction and type-level computation.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Multicore garbage collection with local heaps.
Proceedings of the 10th International Symposium on Memory Management, 2011

A monad for deterministic parallelism.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Towards Haskell in the cloud.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

Termination combinators forever.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010
Let should not be generalized.
Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Regular, shape-polymorphic, parallel arrays in Haskell.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Hoopl: a modular, reusable library for dataflow analysis and transformation.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Supercompilation by evaluation.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Fun with Type Functions.
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009
Static contract checking for Haskell.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Complete and decidable type inference for GADTs.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Runtime support for multicore Haskell.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Types are calling conventions.
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Finding the needle: stack traces for GHC.
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither.
Proceedings of the ECOOP 2009, 2009

2008
Composable memory transactions.
Commun. ACM, 2008

Scrap Your Type Applications.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Parallel generational-copying garbage collection with a block-structured heap.
Proceedings of the 7th International Symposium on Memory Management, 2008

FPH: first-class polymorphism for Haskell.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Type checking with open type functions.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Harnessing the Multicores: Nested Data Parallelism in Haskell.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

A Tutorial on Parallel and Concurrent Programming in Haskell.
Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007
Understanding functional dependencies via constraint handling rules.
J. Funct. Program., 2007

Practical type inference for arbitrary-rank types.
J. Funct. Program., 2007

A monadic framework for delimited continuations.
J. Funct. Program., 2007

System F with type equality coercions.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

Data parallel Haskell: a status report.
Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Faster laziness using dynamic pointer tagging.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Call-pattern specialisation for haskell programs.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

A history of Haskell: being lazy with class.
Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

Lightweight concurrency primitives for GHC.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Comprehensive comprehensions.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2006
Making a fast curry: push/enter vs. eval/apply for higher-order languages.
J. Funct. Program., 2006

Boxy types: inference for higher-rank types and impredicativity.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Simple unification-based type inference for GADTs.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Roadmap for enhanced languages and methods to aid verification.
Proceedings of the Generative Programming and Component Engineering, 2006

Lock Free Data Structures Using STM in Haskell.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Haskell Is Not Not ML.
Proceedings of the Programming Languages and Systems, 2006

2005
Associated types with class.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Scrap your boilerplate with class: extensible generic functions.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Associated type synonyms.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Haskell on a shared-memory multiprocessor.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004
Constructed product result analysis for Haskell.
J. Funct. Program., 2004

Champagne Prototyping: A Research Technique for Early Evaluation of Complex End-User Programming Systems.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

Exploring the barrier to entry: incremental generational garbage collection for Haskell.
Proceedings of the 4th International Symposium on Memory Management, 2004

The C - compiler infrastructure.
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Scrap more boilerplate: reflection, zips, and generalised casts.
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Extending the Haskell foreign function interface with concurrency.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Sound and Decidable Type Inference for Functional Dependencies.
Proceedings of the Programming Languages and Systems, 2004

2003
A user-centred approach to functions in Excel.
ACM SIGPLAN Notices, 2003

Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.
ACM SIGPLAN Notices, 2003

The Educational Pearls column.
J. Funct. Program., 2003

Haskell 98 Libraries: Bibliography.
J. Funct. Program., 2003

Haskell 98 Libraries: Random Numbers.
J. Funct. Program., 2003

Haskell 98 Libraries: CPU Time.
J. Funct. Program., 2003

Haskell 98 Libraries: Locales.
J. Funct. Program., 2003

Haskell 98 Libraries: Dates and Times.
J. Funct. Program., 2003

Haskell 98 Libraries: System Functions.
J. Funct. Program., 2003

Haskell 98 Libraries: Directory Functions.
J. Funct. Program., 2003

Haskell 98 Libraries: Input/Output.
J. Funct. Program., 2003

Haskell 98 Libraries: Monad Utilities.
J. Funct. Program., 2003

Haskell 98 Libraries: Character Utilities.
J. Funct. Program., 2003

Haskell 98 Libraries: Maybe Utilities.
J. Funct. Program., 2003

Haskell 98 Libraries: List Utilities.
J. Funct. Program., 2003

Haskell 98 Libraries: Arrays.
J. Funct. Program., 2003

Haskell 98 Libraries: Indexing Operations.
J. Funct. Program., 2003

Haskell 98 Libraries: Numeric Functions.
J. Funct. Program., 2003

Haskell 98 Libraries: Complex Numbers.
J. Funct. Program., 2003

Haskell 98 Libraries: Rational Numbers.
J. Funct. Program., 2003

Haskell 98: Compiler Pragmas.
J. Funct. Program., 2003

Haskell 98: Specification of Derived Instances.
J. Funct. Program., 2003

Haskell 98: Syntax Reference.
J. Funct. Program., 2003

Haskell 98: Standard Prelude.
J. Funct. Program., 2003

Haskell 98: Basic Input/Output.
J. Funct. Program., 2003

Haskell 98: Predefined Types and Classes.
J. Funct. Program., 2003

Haskell 98: Modules.
J. Funct. Program., 2003

Haskell 98: Declarations and Bindings.
J. Funct. Program., 2003

Haskell 98: Expressions.
J. Funct. Program., 2003

Haskell 98: Lexical Structure.
J. Funct. Program., 2003

Haskell 98: Introduction.
J. Funct. Program., 2003

Scrap your boilerplate: a practical design pattern for generic programming.
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

HsDebug: debugging lazy programs by not being lazy.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Scrap Your Boilerplate.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
Template meta-programming for Haskell.
ACM SIGPLAN Notices, 2002

Secrets of the Glasgow Haskell Compiler inliner.
J. Funct. Program., 2002

2001
Object-Oriented Style Overloading for Haskell.
Electron. Notes Theor. Comput. Sci., 2001

Asynchronous Exceptions in Haskell.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Composing Contracts: An Adventure in Financial Engineering.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000
Derivable Type Classes.
Electron. Notes Theor. Comput. Sci., 2000

Pattern Guards and Transformational Patterns.
Electron. Notes Theor. Comput. Sci., 2000

A single intermediate language that supports multiple implementations of exceptions.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Porting the Clean Object I/O Library to Haskell.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

Composing contracts: an adventure in financial engineering, functional pearl.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Non-stop Haskell.
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Imprecise Exceptions, Co-Inductively.
Electron. Notes Theor. Comput. Sci., 1999

Engineering parallel symbolic programs in GPH.
Concurr. Pract. Exp., 1999

C--: A Portable Assembly Language that Supports Garbage Collection.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Once Upon a Polymorphic Type.
Proceedings of the POPL '99, 1999

A Semantics for Imprecise Exceptions.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Calling Hell From Heaven and Heaven From Hell.
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Aspect-Oriented Compilers.
Proceedings of the Generative and Component-Based Software Engineering, 1999

1998
A Transformation-Based Optimiser for Haskell.
Sci. Comput. Program., 1998

Algorithms + Strategy = Parallelism.
J. Funct. Program., 1998

Dynamic Typing as Staged Type Inference.
Proceedings of the POPL '98, 1998

Bridging the Gulf: A Common Intermediate Language for ML and Haskell.
Proceedings of the POPL '98, 1998

Scripting COM components in Haskell.
Proceedings of the Fifth International Conference on Software Reuse, 1998

H/Direct: A Binary Foreign Language Interface for Haskell.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997
Formally Based Profiling for Higher-Order Functional Languages.
ACM Trans. Program. Lang. Syst., 1997

Parallelising a Large Functional Program or: Keeping LOLITA Busy.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

C-: A Portable Assembly Language.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996
Type Classes in Haskell.
ACM Trans. Program. Lang. Syst., 1996

Concurrent Haskell.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

GUM: A Portable Parallel Implementation of Haskell.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Let-floating: Moving Bindings to Give Faster Programs.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

Compiling Haskell by Program Transformation: A Report from the Trenches.
Proceedings of the Programming Languages and Systems, 1996

Composing the User Interface with Haggis.
Proceedings of the Advanced Functional Programming, 1996

1995
State in Haskell.
LISP Symb. Comput., 1995

Time and Space Profiling for Non-Strict Higher-Order Functional Languages.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Composing Haggis.
Proceedings of the Programming Paradigms in Graphics: Proceedings of the Eurographics Workshop, 1995

Picture: A Simple Structured Graphics Model.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994
On the Equivalence Between CMC and TIM.
J. Funct. Program., 1994

Lazy Functional State Threads.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Cheap Deforestation in Practice: An Optimizer for Haskell.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Lazy Funtional State Threads: An Abstract.
Proceedings of the Logic Programming, 1994

Compilation by Transformation in the Glasgow Haskell Compiler.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Unboxing using Specialisation.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Programming Reactive Systems in Haskell.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1993
How to Give a Good Research Talk.
ACM SIGPLAN Notices, 1993

Imperative Functional Programming.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Processing Transactions on GRIP, a Parallel Graph Reducer.
Proceedings of the PARLE '93, 1993

Generational Garbage Collection for Haskell.
Proceedings of the conference on Functional programming languages and computer architecture, 1993

A Short Cut to Deforestation.
Proceedings of the conference on Functional programming languages and computer architecture, 1993

Measuring the effectiveness of a simple strictness analyser.
Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.
ACM SIGPLAN Notices, 1992

SIGPLAN Notices Special Issue on the Functional Programming Language Haskell.
ACM SIGPLAN Notices, 1992

Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine.
J. Funct. Program., 1992

On Program Transformation in the Glasgow Haskell Compiler.
Proceedings of the Functional Programming, 1992

Profiling Lazy Functional Programs.
Proceedings of the Functional Programming, 1992

Avoiding Unnecessary Updates.
Proceedings of the Functional Programming, 1992

The Glasgow Haskell Compiler: A Retrospective.
Proceedings of the Functional Programming, 1992

1991
A Modular Fully-lazy Lambda Lifter in HASKELL.
Softw. Pract. Exp., 1991

A Futurebus interface from off-the-shelf parts.
IEEE Micro, 1991

Unboxed Values as First Class Citizens in a Non-Strict Functional Language.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

A Parallel Functional Database on GRIP.
Proceedings of the Functional Programming, 1991

1989
Parallel Implementations of Functional Programming Languages.
Comput. J., 1989

High-Performance parallel graph reduction.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

The Spineless Tagless G-Machine.
Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988
A Safe Approach to Parallel Combinator Reduction.
Theor. Comput. Sci., 1988

FLIC - a functional language intermediate code.
ACM SIGPLAN Notices, 1988

The Spineless G-Machine.
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

1987
GRIP - A high-performance architecture for parallel graph reduction.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

The Implementation of Functional Programming Languages.
Prentice-Hall, 1987

1986
Using Futurebus in a fifth-generation computer.
Microprocess. Microsystems, 1986

Parsing Distfix Operators.
Commun. ACM, 1986

The Four-Stroke Reduction Engine.
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

A Safe Approach to Parallel Combinator Reduction (Extended Abstract).
Proceedings of the ESOP 86, 1986

Functional Programming Languages as a Software Engineering Tool.
Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

1985
Yacc in Sasl-an Exercise in Functional Programming.
Softw. Pract. Exp., 1985

An Introduction to Fully-Lazy Supercombinators.
Proceedings of the Combinators and Functional Programming Languages, 1985

Strictness Analysis - A Practical Approach.
Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1982
An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions.
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1981
An ADATM compatible specification language.
Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., 1981


  Loading...