 | 2009 |
|---|
| 13 |       | 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 |
|---|
| 12 | | Søren B. Lassen,
Paul Blain Levy:
Typed Normal Form Bisimulation for Parametric Polymorphism.
LICS 2008: 341-352 |
| 2007 |
|---|
| 11 | | Søren B. Lassen,
Paul Blain Levy:
Typed Normal Form Bisimulation.
CSL 2007: 283-297 |
| 10 | | Kristian Støvring,
Søren B. Lassen:
A complete, co-inductive syntactic theory of sequential control and state.
POPL 2007: 161-172 |
| 2006 |
|---|
| 9 | | Søren B. Lassen:
Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.
LICS 2006: 297-306 |
| 8 | | Søren B. Lassen:
Normal Form Simulation for McCarthy's Amb.
Electr. Notes Theor. Comput. Sci. 155: 445-465 (2006) |
| 2001 |
|---|
| 7 | | 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) |
| 1999 |
|---|
| 6 | | Søren B. Lassen,
Andrew Moran:
Unique Fixed Point Induction for McCarthy's Amb.
MFCS 1999: 198-208 |
| 5 | | Andrew Moran,
Søren B. Lassen,
Simon L. Peyton Jones:
Imprecise Exceptions, Co-Inductively.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 4 |  | Andrew D. Gordon,
Paul D. Hankin,
Søren B. Lassen:
Compilation and Equivalence of Imperative Objects.
J. Funct. Program. 9(4): 373-426 (1999) |
| 1997 |
|---|
| 3 | | Andrew D. Gordon,
Paul D. Hankin,
Søren B. Lassen:
Compilation and Equivalence of Imperative Objects.
FSTTCS 1997: 74-87 |
| 2 | | Søren B. Lassen,
Corin Pitcher:
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 1 | | Søren B. Lassen:
Action Semantics Reasoning about Functional Programs.
Mathematical Structures in Computer Science 7(5): 557-589 (1997) |
