Paul Blain Levy
Titel
Zitiert von
Zitiert von
Jahr
Call-by-push-value: A Functional/imperative Synthesis
PB Levy
Springer Science & Business Media, 2012
316*2012
Modelling environments in call-by-value programming languages
PB Levy, J Power, H Thielecke
Information and computation 185 (2), 182-210, 2003
1062003
Call-by-push-value
PB Levy
792013
Combining algebraic effects with continuations
M Hyland, PB Levy, G Plotkin, J Power
Theoretical Computer Science 375 (1), 20-40, 2007
72*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
651996
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
492012
Typed normal form bisimulation
S Lassen, P Levy
Computer Science Logic, 283-297, 2007
482007
Possible world semantics for general storage in call-by-value
PB Levy
International Workshop on Computer Science Logic, 232-246, 2002
462002
Typed normal form bisimulation for parametric polymorphism
SB Lassen, PB Levy
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 341-352, 2008
432008
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
422011
Similarity quotients as final coalgebras
P Levy
Foundations of Software Science and Computational Structures, 27-41, 2011
422011
Adjunction models for call-by-push-value with stacks
PB Levy
Theory and Applications of Categories 14 (5), 75-110, 2005
392005
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
382017
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
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
282012
Infinitary Howe's method
PB Levy
Electronic Notes in Theoretical Computer Science 164 (1), 85-104, 2006
192006
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
Transition systems over games
PB Levy, S Staton
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
142014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20