Jan Christiansen

20 papers A 2C 6Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2023 C conf
Embedding Functional Logic Programming in Haskell via a Compiler Plugin.
PADL
Kai-Oliver Prott, Finn Teegen, Jan Christiansen
2020 J jnl
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism.
Theory Pract. Log. Program.
Sandra Dylus, Jan Christiansen, Finn Teegen
2019 J jnl
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism.
CoRR
Sandra Dylus, Jan Christiansen, Finn Teegen
2019 J jnl
One Monad to Prove Them All.
Art Sci. Eng. Program.
Sandra Dylus, Jan Christiansen, Finn Teegen
2019 — conf
Verifying effectful Haskell programs in Coq.
Haskell@ICFP
Jan Christiansen, Sandra Dylus, Niels Bunkenburg
2018 J jnl
One Monad to Prove Them All (Functional Pearl).
CoRR
Jan Christiansen, Sandra Dylus, Finn Teegen
2018 C conf
Probabilistic Functional Logic Programming.
PADL
Sandra Dylus, Jan Christiansen, Finn Teegen
2016 A conf
All sorts of permutations (functional pearl).
ICFP
Jan Christiansen, Nikita Danilenko, Sandra Dylus
2013 C conf
A semantics for weakly encapsulated search in functional logic programs.
PPDP
Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel
2011 — —
Investigating minimally strict functions in functional programming.
Jan Christiansen
2011 C conf
Minimally strict polymorphic functions.
PPDP
Jan Christiansen, Daniel Seidel
2011 C conf
Sloth - A Tool for Checking Minimal-Strictness.
PADL
Jan Christiansen
2010 — conf
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry.
WFLP
Jan Christiansen, Daniel Seidel, Janis Voigtländer
2010 — conf
Free theorems for functional logic programs.
PLPV
Jan Christiansen, Daniel Seidel, Janis Voigtländer
2009 J jnl
Free theorems for functional logic programs: (abstract only).
ACM SIGPLAN Notices
Jan Christiansen, Daniel Seidel, Janis Voigtländer
2008 — conf
A Relation Algebraic Semantics for a Lazy Functional Logic Language.
RelMiCS
Bernd Braßel, Jan Christiansen
2008 Misc conf
EasyCheck - Test Data for Free.
FLOPS
Jan Christiansen, Sebastian Fischer
2007 C conf
Denotation by Transformation.
LOPSTR
Bernd Braßel, Jan Christiansen
2006 — conf
A purely functional implementation of ROBDDs in Haskell.
Trends in Functional Programming
Jan Christiansen, Frank Huch
2004 A conf
Searching for deadlocks while debugging concurrent haskell programs.
ICFP
Jan Christiansen, Frank Huch