Travelled to:
1 × Japan
Collaborated with:
F.Kamareddine R.Nederpelt
Talks about:
barendregt (1) paramet (1) refin (1) cube (1) use (1)
Person: Twan Laan
DBLP: Laan:Twan
Contributed to:
Wrote 1 papers:
- FLOPS-2001-KamareddineLN #parametricity #using
- Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.