| doi:10.2201/NiiPi.2013.10.8 |
| Dependently typed programming |
| Shin-CHENG MU1, Conor MCBRIDE2 and Stephanie WEIRICH3 |
1Academia Sinica
2University of Strathclyde
3University of Pennsylvania |
(Received: )
(Revised: )
(Accepted: ) |
Abstract:
No abstract.
|
Keywords:
No keyword.
|
|
|
| PDF(747KB) |
National Institute of Informatics is a member of CrossRef.
|
