Author

Profile picture
Hongwei Xi
Computer Science Department Boston University
Boston, MA, United States of America
1 article by this author
Sort by:
Dependently Typed Pattern Matching
Research Article
Dependently Typed Pattern Matching
Hongwei Xi
10.3217/jucs-009-08-0851
 28-08-2003
 Unique: 786 | Total: 954
 851-872
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK