skip to main content
Mostrar Somente
Refinado por: autor: Stump, Aaron remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

A Rewriting View of Simple Typing

Stump, Aaron ; Kimmell, Garrin ; Zantema, Hans ; Omar, Ruba El Haj

Logical Methods in Computer Science, Volume 9, Issue 1 (February 27, 2013) lmcs:936 [Periódico revisado por pares]

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Zero-Cost Coercions for Program and Proof Reuse

Diehl, Larry ; Stump, Aaron

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Equality, Quasi-Implicit Products, and Large Eliminations

Sjöberg, Vilhelm ; Stump, Aaron

EPTCS 45, 2011, pp. 90-100

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Syntax and Semantics of Cedille

Stump, Aaron

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Sjöberg, Vilhelm ; Casinghino, Chris ; Ahn, Ki Yung ; Collins, Nathan ; Eades Iii, Harley D. ; Fu, Peng ; Kimmell, Garrin ; Sheard, Tim ; Stump, Aaron ; Weirich, Stephanie

EPTCS 76, 2012, pp. 112-162

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient Mendler-Style Lambda-Encodings in Cedille

Firsov, Denis ; Blair, Richard ; Stump, Aaron

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Spine-local Type Inference

Jenkins, Christopher ; Stump, Aaron

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Generic Zero-Cost Reuse for Dependent Types

Diehl, Larry ; Firsov, Denis ; Stump, Aaron

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Termination Casts: A Flexible Approach to Termination with General Recursion

Stump, Aaron ; Sjöberg, Vilhelm ; Weirich, Stephanie

EPTCS 43, 2010, pp. 76-93

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Hereditary Substitution for the \lambda\Delta-Calculus

Eades, Harley ; Stump, Aaron

EPTCS 127, 2013, pp. 45-65

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (12)
  2. Recursos Textuais  (2)
  3. Book Chapters  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2011  (1)
  2. 2011Até2011  (1)
  3. 2012Até2012  (3)
  4. 2013Até2018  (7)
  5. Após 2018  (2)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Stump, Aaron
  2. Aaron Stump
  3. Vilhelm Sjöberg
  4. Sjöberg, Vilhelm
  5. Eades, Harley

Buscando em bases de dados remotas. Favor aguardar.