Paul Blain Levy
Title
Cited by
Cited by
Year
Call-by-push-value: A Functional/imperative Synthesis
PB Levy
Springer Science & Business Media, 2012
296*2012
Modelling environments in call-by-value programming languages
PB Levy, J Power, H Thielecke
Information and computation 185 (2), 182-210, 2003
952003
Call-by-push-value
PB Levy
772013
Combining algebraic effects with continuations
M Hyland, PB Levy, G Plotkin, J Power
Theoretical Computer Science 375 (1), 20-40, 2007
70*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
621996
Typed normal form bisimulation
S Lassen, P Levy
Computer Science Logic, 283-297, 2007
472007
Possible world semantics for general storage in call-by-value
PB Levy
International Workshop on Computer Science Logic, 232-246, 2002
462002
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
Typed normal form bisimulation for parametric polymorphism
SB Lassen, PB Levy
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 341-352, 2008
422008
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
402011
Similarity quotients as final coalgebras
P Levy
Foundations of Software Science and Computational Structures, 27-41, 2011
392011
Adjunction models for call-by-push-value with stacks
PB Levy
Theory and Applications of Categories 14 (5), 75-110, 2005
372005
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
29*2008
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
282017
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
Infinitary Howe's method
PB Levy
Electronic Notes in Theoretical Computer Science 164 (1), 85-104, 2006
182006
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
152006
Universal properties of impure programming languages
S Staton, PB Levy
ACM SIGPLAN Notices 48 (1), 179-192, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20