Back to Results
First PageMeta Content
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


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 provide
Add to Reading List

Document Date: 2014-08-01 09:01:37

Open Document

File Size: 73,94 KB

Share Result on Facebook
UPDATE