Zobrazeno 1 - 10
of 98
pro vyhledávání: '"Sheard, Tim"'
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
Autor:
Sheard, Tim, Pasalic, Emir
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 February 2008 199:49-65
Autor:
Sheard, Tim
Publikováno v:
In Electronic Notes in Theoretical Computer Science 4 June 2007 174(7):105-128
Autor:
Taha, Walid *, Sheard, Tim
Publikováno v:
In Theoretical Computer Science 2000 248(1):211-242
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:
Diehl, Larry, Sheard, Tim
Publikováno v:
Proceedings of the 2013 ACM SIGPLAN Workshop Dependently-typed Programming; 9/24/2013, p49-60, 12p
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.
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.