Sren B. Lassen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1999–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | LICS | Typed Normal Form Bisimulation for Parametric Polymorphism. | Sren B. Lassen, Paul Blain Levy |
| 2007 | CSL | Typed Normal Form Bisimulation. | Sren B. Lassen, Paul Blain Levy |
| 2007 | POPL | A complete, co-inductive syntactic theory of sequential control and state. | Kristian Stvring, Sren B. Lassen |
| 2006 | LICS | Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. | Sren B. Lassen |
| 2005 | LICS | Eager Normal Form Bisimulation. | Sren B. Lassen |
| 1999 | MFCS | Unique Fixed Point Induction for McCarthy's Amb. | Sren B. Lassen, Andrew Moran |