Andy Mück

According to our database, Andy Mück authored at least 6 papers between 1990 and 1996.

Collaborative distances:

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

1996

Eine verifizierte Implementierung funktional-logischer Programmiersprachen.

Andy Mück

PhD thesis, 1996

1995

Verifizierte Implementierung funktional-logischer Sprachen.

Andy Mück

Proceedings of the 11. Workshop Logische Programmierung, 1995

1994

A Tiny Constrain Functional Logic Language and Its Continuation Semantics.

Andy Mück, Thomas Streicher

Proceedings of the Programming Languages and Systems, 1994

1993

A lambda-Calculus with Logical Features.

Andy Mück

Proceedings of the 9. Workshop Logische Programmierung, 1993

1992

CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs.

Andy Mück

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1990

Compilation of Narrowing.

Andy Mück

Proceedings of the Programming Language Implementation and Logic Programming, 1990