Travelled to:
1 × USA
Collaborated with:
P.N.Hilfinger
Talks about:
languag (1) analysi (1) recurs (1) type (1) lisp (1) like (1)
Person: Edward Wang
DBLP: Wang:Edward
Contributed to:
Wrote 1 papers:
- LFP-1992-WangH #analysis #recursion
- Analysis of Recursive Types in Lisp-Like Languages (EW, PNH), pp. 216–225.