id: 05416556
dt: j
an: 05416556
au: Pfenning, Frank
ti: Invited talk: Tri-directional type checking.
so: Electron. Notes Theor. Comput. Sci. 70, No. 1 (2002).
py: 2002
pu: Elsevier, Amsterdam
la: EN
cc: 
ut: 
ci: 
li: doi:10.1016/S1571-0661(05)80511-0