![](https://www.pdfsearch.io/img/bd17f0b068ab1cef62e97dc2d8618f6d.jpg) Date: 2011-03-04 16:21:12
| | Dependently Typed Programming with Domain-Specific Logics Daniel R. Licata CMU-CSFebruary 28, 2011Add to Reading ListSource URL: www.cs.cmu.eduDownload Document from Source Website File Size: 1,25 MBShare Document on Facebook
|