Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Søren B. Lassen
2000 – 2009
- 2009
[c7]Kristian Støvring, Søren B. Lassen: A Complete, Co-inductive Syntactic Theory of Sequential Control and State. Semantics and Algebraic Specification 2009: 329-375- 2008
- [c6]Søren B. Lassen, Paul Blain Levy: Typed Normal Form Bisimulation for Parametric Polymorphism. LICS 2008: 341-352
- 2007
- [c5]
- [c4]Kristian Støvring, Søren B. Lassen: A complete, co-inductive syntactic theory of sequential control and state. POPL 2007: 161-172
- 2006
- [j6]Søren B. Lassen: Normal Form Simulation for McCarthy's Amb. Electr. Notes Theor. Comput. Sci. 155: 445-465 (2006)
- [c3]Søren B. Lassen: Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. LICS 2006: 297-306
- 2001
- [j5]Gavin B. Horn, Per Knudsgaard, Søren B. Lassen, Michael Luby, Jens Eilstrup Rasmussen: A Scalable and Reliable Paradigm for Media on Demand. IEEE Computer 34(9): 40-45 (2001)
1990 – 1999
- 1999
- [j4]Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones: Imprecise Exceptions, Co-Inductively. Electr. Notes Theor. Comput. Sci. 26: 122-141 (1999)
- [j3]Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen: Compilation and Equivalence of Imperative Objects. J. Funct. Program. 9(4): 373-426 (1999)
- [c2]
- 1997
- [j2]Søren B. Lassen, Corin Pitcher: Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. Electr. Notes Theor. Comput. Sci. 10: 246-266 (1997)
- [j1]Søren B. Lassen: Action Semantics Reasoning about Functional Programs. Mathematical Structures in Computer Science 7(5): 557-589 (1997)
- [c1]Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen: Compilation and Equivalence of Imperative Objects. FSTTCS 1997: 74-87
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:33 CET by the dblp team