Links by Tag

publication

Triemaps that match

Simon Peyton Jones, Richard Eisenberg, Sebastian Graf Technical report View PDF Download BibTex

Hashing Modulo Alpha-Equivalence

Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, Simon Peyton Jones Published in ACM SIGPLAN Conference on Programming Language Design and Im...

Kinds Are Calling Conventions

Paul Downen, Zena Ariola, Simon Peyton Jones, Richard Eisenberg. (2020). Published in International Conference on Functional Programming (ICFP’20) by ACM V...

A quick look at impredicativity

Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis Published in International Conference on Functional Programming (ICFP’20) by ACM ...

Codata in action

Paul Downen, Zachary Sullivan, Zena Ariola, Simon Peyton Jones Published in European Symposium on Programming (ESOP’19) by Springer View PDF Download BibTex

Type variables in patterns

Richard Eisenberg, Joachim Breitner, Simon Peyton Jones Published in Proc ACM Haskell Symposium (Haskell ‘18) by ACM View PDF Download BibTex

Build systems a la carte

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones Published in Proc International Conference on Functional Programming (ICFP’18) by ACM View PDF Download Bi...

Guarded impredicative polymorphism

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones Published in Proc ACM SIGPLAN Conference on Programming Languages Design and Impl...

Levity polymorphism

Richard Eisenberg, Simon Peyton Jones Published in ACM Conference on Programming Language Design and Implementation (PLDI’17) by ACM View PDF Download BibTex

Compiling without continuations

Luke Maurer, Zena Ariola, Paul Downen, Simon Peyton Jones Published in ACM Conference on Programming Languages Design and Implementation (PLDI’17) by ACM V...

Trees that grow

Shayan Najd, Simon Peyton Jones Published in Journal of Universal Computer Science (JUCS) , Vol 23: pp. 47-62 View PDF Download BibTex

Pattern Synonyms

Matthew Pickering, Gerg˝o Érdi, Simon Peyton Jones, Richard A. Eisenberg Published in Haskell’16 View PDF Download BibTex

Non-recursive Make Considered Harmful

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow Published in Proceedings of the 9th International Symposium on Haskell View PDF Download Bib...

Safe zero-cost coercions for Haskell

Joachim Breitner, Richard Eisenberg, Simon Peyton Jones, Stephanie Weirich Published in Journal of Functional Programming View PDF Download BibTex

Typed reflection in Haskell

Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis Proc Philip Wadler’s 60th birthday Festschrift, Edinburgh, April 2016 Vie...

Diagnosing type errors with class

Danfeng Zhang, Andrew C Myers, Dimitrios Vytiniotis, Simon Peyton Jones Published in Programming Languages Design and Implementation (PLDI’15) by ACN PLDI ...

Refinement Types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton Jones Published in Proceedings of the 19th ACM SIGPLAN International Conference...

Evidence normalization in System FC

Dimitrios Vytiniotis, Simon Peyton Jones Published in 24th International Conference on Rewriting Techniques and Applications (RTA’13) by LIPICS, Schloss Dag...

Vectorisation avoidance

Gabriele Keller, Manuel Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon Peyton Jones Published in Haskell Symposium by ACM View PDF Download BibTex

Safe Haskell

Simon Peyton Jones Published in Haskell ‘12: Proceedings of the Fifth ACM SIGPLAN Symposium on Haskell by ACM View PDF Download BibTex

The Glasgow Haskell Compiler

Simon Marlow, Simon Peyton Jones Published in The Architecture of Open Source Applications, Volume 2 by Lulu View PDF Download BibTex

Giving Haskell a Promotion

Brent Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, Jose Pedro Magalhaes Published in Proceedings of TLDI’12 by ACM V...

Termination Combinators Forever

Maximilian Bolingbroke, Simon Peyton Jones, Dimitrios Vytiniotis Published in ACM Haskell Symposium, 2011 by ACM (Tokyo) View PDF Download BibTex

Let Should Not Be Generalised

Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers Published in Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementat...

Back to top ↑

haskell

Levity polymorphism

Richard Eisenberg, Simon Peyton Jones Published in ACM Conference on Programming Language Design and Implementation (PLDI’17) by ACM View PDF Download BibTex

Compiling without continuations

Luke Maurer, Zena Ariola, Paul Downen, Simon Peyton Jones Published in ACM Conference on Programming Languages Design and Implementation (PLDI’17) by ACM V...

Trees that grow

Shayan Najd, Simon Peyton Jones Published in Journal of Universal Computer Science (JUCS) , Vol 23: pp. 47-62 View PDF Download BibTex

Pattern Synonyms

Matthew Pickering, Gerg˝o Érdi, Simon Peyton Jones, Richard A. Eisenberg Published in Haskell’16 View PDF Download BibTex

Non-recursive Make Considered Harmful

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow Published in Proceedings of the 9th International Symposium on Haskell View PDF Download Bib...

Safe zero-cost coercions for Haskell

Joachim Breitner, Richard Eisenberg, Simon Peyton Jones, Stephanie Weirich Published in Journal of Functional Programming View PDF Download BibTex

Typed reflection in Haskell

Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis Proc Philip Wadler’s 60th birthday Festschrift, Edinburgh, April 2016 Vie...

Diagnosing type errors with class

Danfeng Zhang, Andrew C Myers, Dimitrios Vytiniotis, Simon Peyton Jones Published in Programming Languages Design and Implementation (PLDI’15) by ACN PLDI ...

Refinement Types for Haskell

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton Jones Published in Proceedings of the 19th ACM SIGPLAN International Conference...

Evidence normalization in System FC

Dimitrios Vytiniotis, Simon Peyton Jones Published in 24th International Conference on Rewriting Techniques and Applications (RTA’13) by LIPICS, Schloss Dag...

Vectorisation avoidance

Gabriele Keller, Manuel Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon Peyton Jones Published in Haskell Symposium by ACM View PDF Download BibTex

Safe Haskell

Simon Peyton Jones Published in Haskell ‘12: Proceedings of the Fifth ACM SIGPLAN Symposium on Haskell by ACM View PDF Download BibTex

The Glasgow Haskell Compiler

Simon Marlow, Simon Peyton Jones Published in The Architecture of Open Source Applications, Volume 2 by Lulu View PDF Download BibTex

Giving Haskell a Promotion

Brent Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, Jose Pedro Magalhaes Published in Proceedings of TLDI’12 by ACM V...

Back to top ↑

computing at school

Back to top ↑

keynote

Back to top ↑