BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Croatia
1 × Denmark
1 × Germany
1 × Switzerland
1 × USA
1 × United Kingdom
3 × Italy
Collaborated with:
S.Staton S.B.Lassen R.Perera U.A.Acar J.Cheney J.Adámek S.Milius N.Bowler
Talks about:
program (2) bisimul (2) normal (2) valu (2) type (2) form (2) call (2) polymorph (1) coproduct (1) coalgebra (1)

Person: Paul Blain Levy

DBLP DBLP: Levy:Paul_Blain

Contributed to:

CSL-LICS 20142014
POPL 20132013
ICFP 20122012
LICS 20122012
FOSSACS 20112011
LICS 20082008
CSL 20072007
ICALP (2) 20062006
CSL 20022002
TLCA 19991999
POPL 20172017

Wrote 11 papers:

LICS-CSL-2014-LevyS #game studies
Transition systems over games (PBL, SS), p. 10.
POPL-2013-StatonL #programming language
Universal properties of impure programming languages (SS, PBL), pp. 179–192.
ICFP-2012-PereraACL #functional #source code
Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
LICS-2012-AdamekMBL #monad #set
Coproducts of Monads on Set (JA, SM, NB, PBL), pp. 45–54.
FoSSaCS-2011-Levy #algebra #similarity
Similarity Quotients as Final Coalgebras (PBL), pp. 27–41.
LICS-2008-LassenL #bisimulation #morphism #normalisation #parametricity #polymorphism
Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.
CSL-2007-LassenL #bisimulation #normalisation
Typed Normal Form Bisimulation (SBL, PBL), pp. 283–297.
ICALP-v2-2006-Levy #λ-calculus
Jumbo λ-Calculus (PBL), pp. 444–455.
CSL-2002-Levy #call-by #semantics
Possible World Semantics for General Storage in Call-By-Value (PBL), pp. 232–246.
TLCA-1999-Levy #call-by #named #paradigm
Call-by-Push-Value: A Subsuming Paradigm (PBL), pp. 228–242.
POPL-2017-Levy #morphism
Contextual isomorphisms (PBL), pp. 400–414.

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.