Søren B. Lassen

According to our database, Søren B. Lassen authored at least 14 papers between 1997 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

Unicorn: A System for Searching the Social Graph.

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

Proc. VLDB Endow., 2013

2008

Typed Normal Form Bisimulation for Parametric Polymorphism.

Søren B. Lassen, Paul Blain Levy

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007

A complete, co-inductive syntactic theory of sequential control and state.

Kristian Støvring, Søren B. Lassen

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Typed Normal Form Bisimulation.

Søren B. Lassen, Paul Blain Levy

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.

Søren B. Lassen

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Normal Form Simulation for McCarthy's Amb.

Søren B. Lassen

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Eager Normal Form Bisimulation.

Søren B. Lassen

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2001

A Scalable and Reliable Paradigm for Media on Demand.

Gavin B. Horn, Per Knudsgaard, Søren B. Lassen, Michael Luby, Jens Eilstrup Rasmussen

Computer, 2001

1999

Compilation and Equivalence of Imperative Objects.

Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen

J. Funct. Program., 1999

Imprecise Exceptions, Co-Inductively.

Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.

Søren B. Lassen

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Unique Fixed Point Induction for McCarthy's Amb.

Søren B. Lassen, Andrew Moran

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1997

Action Semantics Reasoning about Functional Programs.

Søren B. Lassen

Math. Struct. Comput. Sci., 1997

Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions.

Søren B. Lassen, Corin Pitcher

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997