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: Jones:Simon_Peyton
Contributed to:
201620182019
2019
20172018
2018Wrote 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.
- Haskell-2016-PickeringEJE
- Pattern synonyms (MP, GÉ, SPJ, RAE), pp. 80–91.
- Haskell-2018-EisenbergBJ
- 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.
- ESOP-2019-DownenSAJ
- 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.