Paul Blain Levy
TitleCited byYear
Call-by-push-value: A subsuming paradigm
PB Levy
International Conference on Typed Lambda Calculi and Applications, 228-243, 1999
136*1999
Call-by-push-value: A Functional/imperative Synthesis
PB Levy
Springer Science & Business Media, 2012
1182012
Modelling environments in call-by-value programming languages
PB Levy, J Power, H Thielecke
Information and computation 185 (2), 182-210, 2003
722003
Combining algebraic effects with continuations
M Hyland, PB Levy, G Plotkin, J Power
Theoretical Computer Science 375 (1), 20-40, 2007
61*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
Possible world semantics for general storage in call-by-value
PB Levy
International Workshop on Computer Science Logic, 232-246, 2002
432002
Functional programs that explain their work
R Perera, UA Acar, J Cheney, PB Levy
ACM SIGPLAN Notices 47 (9), 365-376, 2012
402012
Typed normal form bisimulation
S Lassen, P Levy
Computer Science Logic, 283-297, 2007
402007
Call-by-push-value: Decomposing call-by-value and call-by-name
PB Levy
Higher-Order and Symbolic Computation 19 (4), 377-414, 2006
402006
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
342011
Similarity quotients as final coalgebras
P Levy
Foundations of Software Science and Computational Structures, 27-41, 2011
332011
Typed normal form bisimulation for parametric polymorphism
SB Lassen, PB Levy
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 341-352, 2008
332008
Adjunction models for call-by-push-value with stacks
PB Levy
Theory and Applications of Categories 14 (5), 75-110, 2005
322005
Monads and adjunctions for global exceptions
PB Levy
Electronic Notes in Theoretical Computer Science 158, 261-287, 2006
292006
Infinite trace equivalence
PB Levy
Annals of Pure and Applied Logic 151 (2), 170-198, 2008
27*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
242012
Infinitary Howe's method
PB Levy
Electronic Notes in Theoretical Computer Science 164 (1), 85-104, 2006
172006
Jumbo λ-calculus
PB Levy
International Colloquium on Automata, Languages, and Programming, 444-455, 2006
142006
Coproducts of monads on set
J Adámek, S Milius, N Bowler, PB Levy
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer …, 2012
132012
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
122017
The system can't perform the operation now. Try again later.
Articles 1–20