Andy Jost

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 5

Top Topics

Functional Analysis

Predicate Logic

Constraint Language

Top Venues

Publications

Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. DECLARE (2019)
Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby
ICurry. CoRR (2019)
Sergio Antoy, Andy Jost
A New Functional-Logic Compiler for Curry: Sprite. LOPSTR (2016)
Sergio Antoy, Andy Jost
A New Functional-Logic Compiler for Curry: Sprite. CoRR (2016)
Sergio Antoy, Andy Jost
Compiling Collapsing Rules in Certain Constructor Systems. LOPSTR (2015)
Sergio Antoy, Andy Jost
redexes really needed? PPDP (2013)
Sergio Antoy, Andy Jost
Compiling a Functional Logic Language: The Fair Scheme. LOPSTR (2013)