Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Paul Blain Levy

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/StatonL13
- ask others
Sam Staton, Paul Blain Levy: Universal properties of impure programming languages. POPL 2013: 179-192
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/BowlerGLS13
- ask others
Nathan Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder: Exploring the Boundaries of Monad Tensorability on Set. CoRR abs/1309.2128 (2013)
2012
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/AcetoILS12
- ask others
Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack: Characteristic formulae for fixed-point semantics: a general framework. Mathematical Structures in Computer Science 22(2): 125-173 (2012)
[c10]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/PereraACL12
- ask others
Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy: Functional programs that explain their work. ICFP 2012: 365-376
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/AdamekMBL12
- ask others
Jirí Adámek, Stefan Milius, Nathan Bowler, Paul Blain Levy: Coproducts of Monads on Set. LICS 2012: 45-54
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1202-2407
- ask others
James Chapman, Paul Blain Levy (Eds.): Proceedings Fourth Workshop on Mathematically Structured Functional Programming. EPTCS 76, 2012
2011
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KoutavasLS11
- ask others
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii: From Applicative to Environmental Bisimulation. Electr. Notes Theor. Comput. Sci. 276: 215-235 (2011)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/Levy11
- ask others
Paul Blain Levy: Similarity Quotients as Final Coalgebras. FOSSACS 2011: 27-41
2010
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cie/AltenkirchLS10
- ask others
Thorsten Altenkirch, Paul Blain Levy, Sam Staton: Higher-Order Containers. CiE 2010: 11-20

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/LevyW09
- ask others
Paul Blain Levy, Kidane Yemane Weldemariam: Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. Electr. Notes Theor. Comput. Sci. 249: 357-375 (2009)
2008
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Levy08
- ask others
Paul Blain Levy: Infinite trace equivalence. Ann. Pure Appl. Logic 151(2-3): 170-198 (2008)
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Levy08
- ask others
Paul Blain Levy: Global State Considered Helpful. Electr. Notes Theor. Comput. Sci. 218: 241-259 (2008)
[c6]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/LassenL08
- ask others
Søren B. Lassen, Paul Blain Levy: Typed Normal Form Bisimulation for Parametric Polymorphism. LICS 2008: 341-352
2007
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Levy07
- ask others
Paul Blain Levy: Amb Breaks Well-Pointedness, Ground Amb Doesn't. Electr. Notes Theor. Comput. Sci. 173: 221-239 (2007)
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/HylandLPP07
- ask others
Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power: Combining algebraic effects with continuations. Theor. Comput. Sci. 375(1-3): 20-40 (2007)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/LassenL07
- ask others
Søren B. Lassen, Paul Blain Levy: Typed Normal Form Bisimulation. CSL 2007: 283-297
2006
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Levy06
- ask others
Paul Blain Levy: Infinite Trace Equivalence. Electr. Notes Theor. Comput. Sci. 155: 467-496 (2006)
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Levy06a
- ask others
Paul Blain Levy: Monads and Adjunctions for Global Exceptions. Electr. Notes Theor. Comput. Sci. 158: 261-287 (2006)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Levy06b
- ask others
Paul Blain Levy: Infinitary Howe's Method. Electr. Notes Theor. Comput. Sci. 164(1): 85-104 (2006)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Levy06
- ask others
Paul Blain Levy: Call-by-push-value: Decomposing call-by-value and call-by-name. Higher-Order and Symbolic Computation 19(4): 377-414 (2006)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Levy06
- ask others
Paul Blain Levy: Jumbo lambda-Calculus. ICALP (2) 2006: 444-455
2005
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/galop/Levy05
- ask others
Paul Blain Levy: Infinite trace equivalence. GALOP 2005: 195-209
2004
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/sp/Levy2004
- ask others
Paul Blain Levy: Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8
2003
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/LevyPT03
- ask others
Paul Blain Levy, John Power, Hayo Thielecke: Modelling environments in call-by-value programming languages. Inf. Comput. 185(2): 182-210 (2003)
2002
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Levy02
- ask others
Paul Blain Levy: Adjunction Models For Call-By-Push-Value With Stacks. Electr. Notes Theor. Comput. Sci. 69: 248-271 (2002)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Levy02
- ask others
Paul Blain Levy: Possible World Semantics for General Storage in Call-By-Value. CSL 2002: 232-246

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/Levy99
- ask others
Paul Blain Levy: Call-by-Push-Value: A Subsuming Paradigm. TLCA 1999: 228-242