Searching for authors named "Stefan Monnier" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Curriculum Vitæ
- … Proof-Carrying Code. Nadeem Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, and Zhaozhong Ni…
- Add To MetaCart
-
Typed Regions
- … Regions Stefan Monnier Département d’informatique et recherche opérationnelle Université de Montréal…
- Cited by 9 (1 self) – Add To MetaCart
-
Chapter 4 One Vote for Type Families in Haskell!
- …Chapter 4 One Vote for Type Families in Haskell! Louis-Julien Guillemette ⋆ , Stefan Monnier…
- Add To MetaCart
-
Statically verified type-preserving code transformations in Haskell
- … Stefan Monnier Université de Montréal {guillelj,monnier}@(email omitted); Abstract The use of typed…
- Cited by 1 (0 self) – Add To MetaCart
-
Type Structure
- ….schrijvers@(email omitted); Louis-Julien Guillemette Université de Montréal, Canada guillelj@(email omitted); Stefan Monnier…
- Add To MetaCart
-
Implementing Typed Intermediate Languages
- …Implementing Typed Intermediate Languages Zhong Shao Christopher League Stefan Monnier Dept…
- Cited by 56 (15 self) – Add To MetaCart
-
A Study of a Simultaneous Multithreaded Processor Implementation
- … 1 , Stefan Monnier 2 1 Logic Systems Laboratory, Swiss Federal Institute of Technology of Lausanne…
- Add To MetaCart
-
Typed compilation against non-manifest base classes
- …Typed Compilation Against Non-Manifest Base Classes Christopher League 1 and Stefan Monnier 2 1…
- Cited by 5 (2 self) – Add To MetaCart
-
A syntactic approach to foundational proof-carrying code
- … Trifonov Stefan Monnier Zhaozhong Ni Department of Computer Science, Yale University New Haven, CT 06520…
- Cited by 72 (13 self) – Add To MetaCart
Showing 1 through 9.
