Travelled to:1 × Sweden
Collaborated with:A.King P.Soper
Talks about:program (2) logic (2) type (2) generat (1) termin (1) effici (1) natur (1) level (1) infer (1) norm (1)
Person: Jonathan C. Martin
DBLP: Martin:Jonathan_C=
Contributed to:
20041996
1997Wrote 3 papers:
- PDCL-2004-MartinK #on the
- On the Inference of Natural Level Mappings (JCM, AK), pp. 432–452.
- LOPSTR-1996-MartinKS #logic programming #source code
- Typed Norms for Typed Logic Programs (JCM, AK, PS), pp. 224–238.
- TAPSOFT-1997-MartinK #generative #logic programming #performance #source code
- Generating Efficient, Terminating Logic Programs (JCM, AK), pp. 273–284.