The SCEAS System
Navigation Menu

Search the dblp DataBase


Alex Simpson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matthias Schröder, Alex Simpson
    Probabilistic Observations and Valuations: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:605-615 [Journal]
  2. Ingo Battenfeld, Matthias Schröder, Alex Simpson
    A Convenient Category of Domains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:69-99 [Journal]
  3. Rasmus Ejlers Møgelberg, Alex Simpson
    Relational Parametricity for Control Considered as a Computational Effect. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:295-312 [Journal]
  4. Marco Kick, John Power, Alex Simpson
    Coalgebraic semantics for timed processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:4, pp:588-609 [Journal]
  5. Matthias Schröder, Alex Simpson
    Representing probability measures using probabilistic processes. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 2006, v:22, n:6, pp:768-782 [Journal]
  6. Andrej Bauer, Alex Simpson
    Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:4-5, pp:351-369 [Journal]
  7. James Brotherston, Alex Simpson
    Complete Sequent Calculi for Induction and Infinite Descent. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:51-62 [Conf]
  8. Rasmus Ejlers Møgelberg, Alex Simpson
    Relational Parametricity for Computational Effects. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:346-355 [Conf]
  9. Matthias Schröder, Alex Simpson
    Two preservation results for countable products of sequential spaces. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:161-172 [Journal]

  10. Enriching an Effect Calculus with Linear Types. [Citation Graph (, )][DBLP]

  11. A convenient category of domains. [Citation Graph (, )][DBLP]

  12. Linearly-Used Continuations in the Enriched Effect Calculus. [Citation Graph (, )][DBLP]

  13. A Generic Operational Metatheory for Algebraic Effects. [Citation Graph (, )][DBLP]

  14. Linear types for computational effects. [Citation Graph (, )][DBLP]

  15. A Logic for Parametric Polymorphism with Effects. [Citation Graph (, )][DBLP]

  16. Relating First-order Set Theories and Elementary Toposes. [Citation Graph (, )][DBLP]

  17. Relational Parametricity for Computational Effects [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002