Travelled to:
1 × Finland
Collaborated with:
∅
Talks about:
program (1) languag (1) condit (1) applic (1) ogden (1) type (1) iter (1)
Person: Dragos Vaida
DBLP: Vaida:Dragos
Contributed to:
Wrote 1 papers:
- DLT-1993-Vaida #programming language
- Iteration Conditions of W. Ogden’s Type and Applications to Programming Languages (II) (DV), pp. 44–50.