Filter Results:
- Full text PDF available (69)
Publication Year
1991
2018
- This year (3)
- Last 5 years (40)
- Last 10 years (76)
Publication Type
Co-author
Journals and Conferences
Learn More
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generalization of the data types of Haskell and… (More)
- Brian E. Aydemir, Aaron Bohannon, +7 authors Steve Zdancewic
- TPHOLs
- 2005
How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose a concrete set of benchmarks for measuring… (More)
Machine-checked proofs of properties of programming languages have become acritical need, both for increased confidence in large and complex designsand as a foundation for technologies such as… (More)
- Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic
- ACM Conference on Computer and Communications…
- 2009
Many programs operate reactively--patiently waiting for user input, running for a while producing output, and eventually returning to a state where they are ready to accept another input (or… (More)
- Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
- J. Funct. Program.
- 2007
Haskell's popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. One such feature is… (More)
- Karl Crary, Stephanie Weirich, J. Gregory Morrisett
- ICFP
- 1998
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languages, including… (More)
- Karl Crary, Stephanie Weirich
- POPL
- 2000
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuable tools for… (More)
Generalised algebraic data types (GADTs), sometimes known as “guarded recursive data types” or “first-class phantom types”, are a simple but powerful generalisation of the data types of Haskell and… (More)
- Karl Crary, Stephanie Weirich
- ICFP
- 1999
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and flattened data… (More)
- Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
- ACM Trans. Program. Lang. Syst.
- 2008
This article defines AspectML, a typed functional, aspect-oriented programming language. The main contribution of AspectML is the seamless integration of polymorphism, run-time type analysis and… (More)