CITATION STYLE
Weirich, S. (2012). Dependently-Typed Programming in GHC (pp. 3–3). https://doi.org/10.1007/978-3-642-29822-6_3
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley