skip to main content
Refinado por: autor: Van Horn, David remover autor: Vazou, Niki remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell)

Vazou, Niki ; Breitner, Joachim ; Kunkel, Will ; Van Horn, David ; Hutton, Graham

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Gradual Liquid Type Inference

Vazou, Niki ; Tanter, Éric ; Van Horn, David

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Type-Level Computations for Ruby Libraries

Kazerounian, Milod ; Guria, Sankha Narayan ; Vazou, Niki ; Foster, Jeffrey S. ; Van Horn, David

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Vazou, Niki
  2. Van Horn, David
  3. Guria, Sankha Narayan
  4. Foster, Jeffrey S.
  5. Breitner, Joachim

Buscando em bases de dados remotas. Favor aguardar.