CraryKarl

发表

Foundational certified code in the Twelf metalogical framework

CraryKarl, SarkarSusmit, 2008 .

Toward a foundational typed assembly language

CraryKarl, 2003 .

Typed compilation of inclusive subtyping

CraryKarl, 2000 .

Stack-based typed assembly language

MorrisettGreg, WalkerDavid, CraryKarl, 2002 .

Higher-order abstract syntax

CraryKarl, HarperRobert, 2006 .

Intensional polymorphism in type-erasure semantics

MorrisettGreg, CraryKarl, WeirichStephanie, 1998, ICFP '98.

An expressive, scalable type theory for certified code

CraryKarl, C VanderwaartJoseph, 2002 .

Typed compilation of recursive datatypes

DreyerDerek, CraryKarl, HarperRobert, 2003 .

Typed memory management via static capabilities

MorrisettGreg, WalkerDavid, CraryKarl, 2000 .

What is a recursive module

CraryKarl, HarperRobert, PuriSidd, 1999 .

Towards a mechanized metatheory of standard ML

CraryKarl, HarperRobert, K LeeDaniel, 2007 .

From system F to typed assembly language

MorrisettGreg, WalkerDavid, CraryKarl, 1999 .