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: Levy:Paul_Blain
Contributed to:
2014
2013
20122012
20112008
2007
20062002
19992017Wrote 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.