![Type theory / Functional programming / Data types / Functional languages / International Conference on Functional Programming / POPLmark challenge / Principles of Programming Languages / SIGPLAN / Haskell / Software engineering / Computing / Programming language theory Type theory / Functional programming / Data types / Functional languages / International Conference on Functional Programming / POPLmark challenge / Principles of Programming Languages / SIGPLAN / Haskell / Software engineering / Computing / Programming language theory](https://www.pdfsearch.io/img/d740e0056ff84da5b537227e07140437.jpg) Date: 2014-08-01 09:01:37Type theory Functional programming Data types Functional languages International Conference on Functional Programming POPLmark challenge Principles of Programming Languages SIGPLAN Haskell Software engineering Computing Programming language theory | | Stephanie Weirich Research Statement My research focuses on the design of statically-typed programming languages. Static type systems are a popular, cost-effective form of lightweight program verification. They provideAdd to Reading ListSource URL: www.cis.upenn.eduDownload Document from Source Website File Size: 73,94 KBShare Document on Facebook
|