Share This Author
Simple unification-based type inference for GADTs
- S. PEYTON JONES, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
- Computer ScienceICFP '06
- 17 September 2006
TLDR
Mechanized Metatheory for the Masses: The PoplMark Challenge
- Brian E. Aydemir, A. Bohannon, S. Zdancewic
- Computer ScienceTPHOLs
- 22 August 2005
TLDR
TALx86: A Realistic Typed Assembly Language∗
- G. Morrisett, Karl Crary, S. Zdancewic
- Computer Science
- 1999
The goal of typed assembly language (TAL) is to provide a low-level, statically typed target language that is better suited than Java bytecodes for supporting a wide variety of source languages and a…
Engineering formal metatheory
- Brian E. Aydemir, A. Charguéraud, B. Pierce, R. Pollack, Stephanie Weirich
- Computer SciencePOPL '08
- 7 January 2008
TLDR
Practical type inference for arbitrary-rank types
- S. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
- Computer ScienceJournal of Functional Programming
- 1 January 2007
TLDR
Reactive noninterference
- A. Bohannon, B. Pierce, Vilhelm Sjöberg, Stephanie Weirich, S. Zdancewic
- Computer ScienceCCS
- 9 November 2009
TLDR
Flexible type analysis
- Karl Crary, Stephanie Weirich
- Computer ScienceICFP '99
- 1 September 1999
TLDR
Giving Haskell a promotion
- Brent A. Yorgey, Stephanie Weirich, Julien Cretin, S. Jones, Dimitrios Vytiniotis, J. P. Magalhães
- Computer ScienceTLDI '12
- 28 January 2012
TLDR
AspectML: A polymorphic aspect-oriented functional programming language
- Daniel S. Dantas, D. Walker, Geoffrey Washburn, Stephanie Weirich
- Computer ScienceTOPL
- 1 May 2008
TLDR
Resource bound certification
- Karl Crary, Stephanie Weirich
- Computer SciencePOPL '00
- 5 January 2000
TLDR
...
...