The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Paul Blain Levy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paul Blain Levy
    Possible World Semantics for General Storage in Call-By-Value. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:232-246 [Conf]
  2. Paul Blain Levy
    Infinite trace equivalence. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:195-209 [Conf]
  3. Paul Blain Levy
    Jumbo lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:444-455 [Conf]
  4. Paul Blain Levy
    Call-by-Push-Value: A Subsuming Paradigm. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:228-242 [Conf]
  5. Paul Blain Levy
    Adjunction Models For Call-By-Push-Value With Stacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  6. Paul Blain Levy
    Infinite Trace Equivalence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:467-496 [Journal]
  7. Paul Blain Levy
    Monads and Adjunctions for Global Exceptions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:261-287 [Journal]
  8. Paul Blain Levy
    Infinitary Howe's Method. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:85-104 [Journal]
  9. Paul Blain Levy
    Amb Breaks Well-Pointedness, Ground Amb Doesn't. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:221-239 [Journal]
  10. Paul Blain Levy, John Power, Hayo Thielecke
    Modelling environments in call-by-value programming languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:185, n:2, pp:182-210 [Journal]
  11. Paul Blain Levy
    Call-by-push-value: Decomposing call-by-value and call-by-name. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:377-414 [Journal]
  12. Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
    Combining algebraic effects with continuations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:375, n:1-3, pp:20-40 [Journal]
  13. Søren B. Lassen, Paul Blain Levy
    Typed Normal Form Bisimulation. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:283-297 [Conf]

  14. Typed Normal Form Bisimulation for Parametric Polymorphism. [Citation Graph (, )][DBLP]


  15. Infinite trace equivalence. [Citation Graph (, )][DBLP]


  16. Global State Considered Helpful. [Citation Graph (, )][DBLP]


  17. Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002