Søren B. Lassen

16 papers A* 4B 4Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2013 J jnl
Unicorn: A System for Searching the Social Graph.
Proc. VLDB Endow.
Michael Curtiss, Iain Becker, Tudor Bosman, Sergey Doroshenko, Lucian Grijincu, Tom Jackson, Sandhya Kunnatur, Søren B. Lassen, Philip Pronin, Sriram Sankar, Guanghao Shen, Gintaras Woss, Chao Yang, Ning Zhang
2009 — conf
A Complete, Co-inductive Syntactic Theory of Sequential Control and State.
Semantics and Algebraic Specification
Kristian Støvring, Søren B. Lassen
2008 A* conf
Typed Normal Form Bisimulation for Parametric Polymorphism.
LICS
Søren B. Lassen, Paul Blain Levy
2007 A* conf
A complete, co-inductive syntactic theory of sequential control and state.
POPL
Kristian Støvring, Søren B. Lassen
2007 B conf
Typed Normal Form Bisimulation.
CSL
Søren B. Lassen, Paul Blain Levy
2006 A* conf
Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.
LICS
Søren B. Lassen
2005 A* conf
Eager Normal Form Bisimulation.
LICS
Søren B. Lassen
2005 B conf
Normal Form Simulation for McCarthy's Amb.
MFPS
Søren B. Lassen
2001 J jnl
A Scalable and Reliable Paradigm for Media on Demand.
Computer
Gavin B. Horn, Per Knudsgaard, Søren B. Lassen, Michael Luby, Jens Eilstrup Rasmussen
1999 B conf
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.
MFPS
Søren B. Lassen
1999 J jnl
Compilation and Equivalence of Imperative Objects.
J. Funct. Program.
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
1999 — conf
Imprecise Exceptions, Co-Inductively.
HOOTS
Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones
1999 B conf
Unique Fixed Point Induction for McCarthy's Amb.
MFCS
Søren B. Lassen, Andrew Moran
1997 J jnl
Action Semantics Reasoning about Functional Programs.
Math. Struct. Comput. Sci.
Søren B. Lassen
1997 — conf
Compilation and Equivalence of Imperative Objects.
FSTTCS
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
1997 — conf
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.
HOOTS
Søren B. Lassen, Corin Pitcher