![Software engineering / Programming language theory / Computing / Type theory / Functional languages / Logic in computer science / Programming paradigms / Models of computation / Denotational semantics / Type system / Programming language / Constraint programming Software engineering / Programming language theory / Computing / Type theory / Functional languages / Logic in computer science / Programming paradigms / Models of computation / Denotational semantics / Type system / Programming language / Constraint programming](https://www.pdfsearch.io/img/87464ad1176f65ff499b43e7fc28ef58.jpg) Date: 1999-11-28 18:07:44Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming | | Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon UniversityAdd to Reading ListSource URL: www.cs.bu.eduDownload Document from Source Website File Size: 2,61 MBShare Document on Facebook
|