The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hayo Thielecke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael P. Fourman, Hayo Thielecke
    A Proposed Categorical Semantics for ML Modules. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1995, pp:240-252 [Conf]
  2. Hayo Thielecke
    On Exceptions Versus Continuations in the Presence of State. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:397-411 [Conf]
  3. Hayo Thielecke
    Answer Type Polymorphism in Call-by-Name Continuation Passing. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:279-293 [Conf]
  4. John Power, Hayo Thielecke
    Closed Freyd- and kappa-categories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:625-634 [Conf]
  5. Jon G. Riecke, Hayo Thielecke
    Typed Exeptions and Continuations Cannot Macro-Express Each Other. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:635-644 [Conf]
  6. Hayo Thielecke
    From control effects to typed continuation passing. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:139-149 [Conf]
  7. Hayo Thielecke
    Frame rules from answer types for code pointers. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:309-319 [Conf]
  8. John Power, Hayo Thielecke
    Environments, Continuation Semantics and Indexed Categories. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:391-414 [Conf]
  9. Peter Buchlovsky, Hayo Thielecke
    A Type-theoretic Reconstruction of the Visitor Pattern. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:309-329 [Journal]
  10. Hayo Thielecke
    Continuation semantics and self-adjointness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  11. Hayo Thielecke
    Comparing Control Constructs by Double-barrelled {CPS} Transforms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  12. Carsten Führmann, Hayo Thielecke
    On the call-by-value CPS transform and its semantics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:188, n:2, pp:241-283 [Journal]
  13. 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]
  14. Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke
    Linear Continuation-Passing. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:181-208 [Journal]
  15. Hayo Thielecke
    An Introduction to Landin's ``A Generalization of Jumps and Labels''. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:117-123 [Journal]
  16. Hayo Thielecke
    Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:1, pp:47-73 [Journal]
  17. Hayo Thielecke
    Comparing Control Constructs by Double-Barrelled CPS. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:141-160 [Journal]

  18. Reasoning about B+ Trees with Operational Semantics and Separation Logic. [Citation Graph (, )][DBLP]


Search in 0.029secs, Finished in 0.030secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002