Delta lenses over inductive types
-
- Pacheco
- Creator
Journal
-
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
-
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 2012
Details
-
- CRID
- 1370004233085747717
-
- Data Source
-
- Crossref
