BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
R.A.Eisenberg S.Marlow A.Mokhov P.Downen Z.Sullivan Z.M.Ariola J.Breitner E.Kmett N.Mitchell M.Pickering G.Érdi A.S.0001 J.Hage D.Vytiniotis J.Bernardy M.Boespflug R.R.Newton A.Spiwack
Talks about:
polymorph (3) pattern (2) linear (2) haskel (2) type (2) make (2) extension (1) variabl (1) synonym (1) practic (1)

Person: Simon Peyton Jones

DBLP DBLP: Jones:Simon_Peyton

Contributed to:

Haskell 20162016
Haskell 20182018
Haskell 20192019
ESOP 20192019
PLDI 20172017
PLDI 20182018
POPL 20182018

Wrote 9 papers:

Haskell-2016-MarlowJKM #haskell
Desugaring Haskell's do-notation into applicative operations (SM, SPJ, EK, AM), pp. 92–104.
Haskell-2016-MokhovMJM #harmful #recursion #scalability
Non-recursive make considered harmful: build systems at scale (AM, NM, SPJ, SM), pp. 170–181.
Pattern synonyms (MP, , SPJ, RAE), pp. 80–91.
Type variables in patterns (RAE, JB, SPJ), pp. 94–105.
Haskell-2019-DownenSAJ #performance
Making a faster Curry with extensional types (PD, ZS, ZMA, SPJ), pp. 58–70.
Codata in Action (PD, ZS, ZMA, SPJ), pp. 119–146.
PLDI-2017-EisenbergJ #morphism #polymorphism
Levity polymorphism (RAE, SPJ), pp. 525–539.
PLDI-2018-SerranoHVJ #morphism #polymorphism
Guarded impredicative polymorphism (AS0, JH, DV, SPJ), pp. 783–796.
POPL-2018-BernardyBNJS #haskell #higher-order #linear #polymorphism
Linear Haskell: practical linearity in a higher-order polymorphic language (JPB, MB, RRN, SPJ, AS), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.