Travelled to:1 × United Kingdom
Collaborated with:J.S.Hodas N.Tamura K.Kang
Talks about:implement (1) program (1) languag (1) linear (1) effici (1) logic (1)
Person: K. M. Watkins
DBLP: Watkins:K=_M=
Contributed to:
1998Wrote 1 papers:
- JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language
- Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.