Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:P.Mishra
Talks about:analysi (2) strict (2) perspect (1) infer (1) type (1) base (1) new (1)
Person: Tsung-Min Kuo
DBLP: Kuo:Tsung=Min
Contributed to:
1989
1987Wrote 2 papers:
- FPCA-1989-KuoM #analysis #strict #type inference
- Strictness Analysis: A New Perspective Based on Type Inference (TMK, PM), pp. 260–272.
- POPL-1987-KuoM #analysis #on the #strict
- On Strictness and its Analysis (TMK, PM), pp. 144–155.