Travelled to:1 × Belgium
1 × Sweden
1 × United Kingdom
Collaborated with:∅ T.Streicher
Talks about:function (2) compil (2) logic (2) constrain (1) categori (1) abstract (1) program (1) languag (1) continu (1) semant (1)
Person: Andy Mück
DBLP: M=uuml=ck:Andy
Contributed to:
1994
19921990Wrote 3 papers:
- ESOP-1994-MuckS #continuation #functional #logic #semantics
- A Tiny Constrain Functional Logic Language and Its Continuation Semantics (AM, TS), pp. 439–453.
- PLILP-1992-Muck #automaton #functional #logic programming #named #source code
- CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs (AM), pp. 341–354.
- PLILP-1990-Muck #compilation
- Compilation of Narrowing (AM), pp. 16–29.