Jan Christiansen

ORCID

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 8

Top Venues

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

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

Jan Christiansen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Christiansen