Paul Blain Levy
Title
Cited by
Cited by
Year
Call-by-push-value: A Functional/imperative Synthesis
PB Levy
Springer Science & Business Media, 2012
310*2012
Modelling environments in call-by-value programming languages
PB Levy, J Power, H Thielecke
Information and computation 185 (2), 182-210, 2003
802003
Combining algebraic effects with continuations
M Hyland, PB Levy, G Plotkin, J Power
Theoretical Computer Science 375 (1), 20-40, 2007
67*2007
Thoracoscopic laser bullectomy: a prospective study with three-month results
S Hazelrigg, T Boley, J Henkle, C Lawyer, D Johnstone, K Naunheim, ...
The Journal of thoracic and cardiovascular surgery 112 (2), 319-327, 1996
591996
Functional programs that explain their work
R Perera, UA Acar, J Cheney, PB Levy
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
452012
Possible world semantics for general storage in call-by-value
PB Levy
International Workshop on Computer Science Logic, 232-246, 2002
432002
Typed normal form bisimulation
S Lassen, P Levy
Computer Science Logic, 283-297, 2007
422007
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
372011
Typed normal form bisimulation for parametric polymorphism
SB Lassen, PB Levy
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 341-352, 2008
372008
Similarity quotients as final coalgebras
P Levy
Foundations of Software Science and Computational Structures, 27-41, 2011
362011
Adjunction models for call-by-push-value with stacks
PB Levy
Theory and Applications of Categories 14 (5), 75-110, 2005
342005
Monads and adjunctions for global exceptions
PB Levy
Electronic Notes in Theoretical Computer Science 158, 261-287, 2006
302006
Infinite trace equivalence
PB Levy
Annals of Pure and Applied Logic 151 (2), 170-198, 2008
28*2008
Characteristic formulae for fixed-point semantics: a general framework
L Aceto, A Ingolfsdottir, PB Levy, J Sack
Mathematical Structures in Computer Science 22 (2), 125-173, 2012
272012
Effectful applicative bisimilarity: Monads, relators, and Howe's method
U Dal Lago, F Gavazzo, PB Levy
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
182017
Infinitary Howe's method
PB Levy
Electronic Notes in Theoretical Computer Science 164 (1), 85-104, 2006
172006
Coproducts of monads on set
J Ad'mek, S Milius, N Bowler, PB Levy
2012 27th Annual IEEE Symposium on Logic in Computer Science, 45-54, 2012
162012
Jumbo λ-calculus
PB Levy
International Colloquium on Automata, Languages, and Programming, 444-455, 2006
142006
Contextual isomorphisms
PB Levy
ACM SIGPLAN Notices 52 (1), 400-414, 2017
112017
Universal properties of impure programming languages
S Staton, PB Levy
ACM SIGPLAN Notices 48 (1), 179-192, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–20