Andy Jost

According to our database, Andy Jost authored at least 5 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

ICurry.

Sergio Antoy, Michael Hanus, Andy Jost, Steven Libby

Proceedings of the Declarative Programming and Knowledge Management, 2019

2016

A New Functional-Logic Compiler for Curry: Sprite.

Sergio Antoy, Andy Jost

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Compiling Collapsing Rules in Certain Constructor Systems.

Sergio Antoy, Andy Jost

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2013

Are <i>needed</i> redexes really needed?

Sergio Antoy, Andy Jost

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Compiling a Functional Logic Language: The Fair Scheme.

Sergio Antoy, Andy Jost

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013