id: 70114267
dt: a
an: 70114267
au: Chen, Chiyan; Zhu, Dengping; Xi, Hongwei
ti: Implementing cut elimination: A case study of simulating dependent types in
    haskell
so: PADL, 239-254 (2004).
py: 2004
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-24836-1_17