Guarded Recursive Datatype Constructors (2003)
Cached
Download Links
- [www.church-project.org]
- [www.church-project.org]
- [www.cs.bu.edu]
- [www.cs.bu.edu]
- [www.cs.bu.edu]
- [www.cs.bu.edu]
- DBLP
Other Repositories/Bibliography
by
Hongwei Xi
,
Chiyan Chen
,
Gang Chen
| Citations: | 115 - 10 self |
Document Versions
| Guarded Recursive Datatype Constructors –Hongwei Xi, Chiyan Chen, Gang Chen — 2003 |
| Guarded Recursive Datatype Constructors –Hongwei Xi, Chiyan Chen, Gang Chen — 2003 — In Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages |
