Jan Christiansen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jan Christiansen' as author, editor, or advisor:

Algorithm 569: COLSYS: Collocation Software for Boundary-Value ODEs [D2]Uri M. Ascher, J. Christiansen, Robert D. Russell. TOMS, 7(2):223-229, 1981. [doi]
COLSYS - - A Collocation Code for Boundary - Value ProblemsUri M. Ascher, J. Christiansen, Robert D. Russell. ode 1979: 164-185
Collocation Software for Boundary-Value ODEsUri M. Ascher, J. Christiansen, Robert D. Russell. TOMS, 7(2):209-222, 1981. [doi]
All sorts of permutations (functional pearl)Jan Christiansen, Nikita Danilenko, Sandra Dylus. ICFP 2016: 168-179 [doi]
Embedding Functional Logic Programming in Haskell via a Compiler PluginKai-Oliver Prott, Finn Teegen, Jan Christiansen. PADL 2023: 37-55 [doi]
Probabilistic Functional Logic ProgrammingSandra Dylus, Jan Christiansen, Finn Teegen. PADL 2018: 3-19 [doi]
Investigating minimally strict functions in functional programmingJan Christiansen. PhD thesis, University of Kiel, 2011. [doi]
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinismSandra Dylus, Jan Christiansen, Finn Teegen. tplp, 20(1):147-175, 2020. [doi]
One Monad to Prove Them AllSandra Dylus, Jan Christiansen, Finn Teegen. Programming, 3(3):8, 2019. [doi]
Verifying effectful Haskell programs in CoqJan Christiansen, Sandra Dylus, Niels Bunkenburg. haskell 2019: 125-138 [doi]

runs on WebDSL