Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Kimmell, Garrin"'
Publikováno v:
Logical Methods in Computer Science, Volume 9, Issue 1 (February 27, 2013) lmcs:936
This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective. We show how standard meta-theoret
Externí odkaz:
http://arxiv.org/abs/1211.0865
Autor:
Sjöberg, Vilhelm, Casinghino, Chris, Ahn, Ki Yung, Collins, Nathan, Eades III, Harley D., Fu, Peng, Kimmell, Garrin, Sheard, Tim, Stump, Aaron, Weirich, Stephanie
Publikováno v:
EPTCS 76, 2012, pp. 112-162
We present a full-spectrum dependently typed core language which includes both nontermination and computational irrelevance (a.k.a. erasure), a combination which has not been studied before. The two features interact: to protect type safety we must b
Externí odkaz:
http://arxiv.org/abs/1202.2923
Publikováno v:
In Science of Computer Programming 2010 75(7):543-572
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kimmell, Garrin, Stump, Aaron, Eades, Harley D., Fu, Peng, Sheard, Tim, Weirich, Stephanie, Casinghino, Chris, Sjöberg, Vilhelm, Collins, Nathan, Ahn, Ki Yung
Publikováno v:
Proceedings of the Sixth Workshop: Programming Languages Meets Program Verification; Jan2012, p15-26, 12p
Publikováno v:
Implementation & Application of Functional Languages (9783642164774); 2011, p18-35, 18p
Publikováno v:
Software Composition (9783642026546); 2009, p160-176, 17p
Publikováno v:
Domain-specific Languages; 2009, p20-44, 25p
Publikováno v:
Proceedings of the Twenty-Second IEEE/ACM International Conference: Automated Software Engineering; 11/ 5/2007, p473-476, 4p
Publikováno v:
Proceedings of the 6th International Conference: Generative Programming & Component Engineering; 10/ 1/2007, p155-164, 10p