Ferruccio Damiani
A conjunctive type system for useless-code elimination
Math. Structures Comput. Sci.
, 13:157-197, 2003
[
bib
]
Back
This file has been generated by
bibtex2html
1.43