skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Van Horn, David remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Size-Change Termination as a Contract

Nguyen, Phuc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam ; Van Horn, David

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '19), June 22-26, 2019, Phoenix, AZ, USA

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructive Galois Connections

Darais, David ; Van Horn, David

J. Funct. Prog. 29 (2019) e11 [Periódico revisado por pares]

Texto completo disponível

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

Gradual Liquid Type Inference

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

Texto completo disponível

5
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

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Soft Contract Verification for Higher-Order Stateful Programs

Nguyen, Phuc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam ; Van Horn, David

Proceedings of the ACM on Programming Languages, Vol. 2, No. POPL, Article 51. Publication date: January 2018

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Abstracting Definitional Interpreters

Darais, David ; Labich, Nicholas ; Nguyen, Phuc C. ; Van Horn, David

Proc. ACM Program. Lang. 1, ICFP, Article 12 (September 2017)

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

A Vision for Online Verification-Validation

Hammer, Matthew A. ; Chang, Bor-Yuh Evan ; Van Horn, David

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory

Darais, David ; Van Horn, David

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Higher-order symbolic execution for contract verification and refutation

Nguyen, Phuc C. ; Tobin-Hochstadt, Sam ; Van Horn, David

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (3)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (37)
  2. Anais de Congresso  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2012  (11)
  2. 2012Até2013  (12)
  3. 2014Até2015  (10)
  4. 2016Até2018  (7)
  5. Após 2018  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Van Horn, David
  2. Might, Matthew
  3. Van Horn, D
  4. Tobin-Hochstadt, Sam
  5. Nguyen, Phuc C.

Buscando em bases de dados remotas. Favor aguardar.