skip to main content
Idioma:
Refinado por: data de publicação: 1991Até1993 remover tipo de recurso: Archival Material / Manuscripts remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Concrete Domains
Concrete Domains
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

Concrete Domains

Kahn, Gilles ; Plotkin, Gordon

1993

Texto completo disponível

Citações Citado por
2
On Functors Expressible in the Polymorphic Typed Lambda Calculus
On Functors Expressible in the Polymorphic Typed Lambda Calculus
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

On Functors Expressible in the Polymorphic Typed Lambda Calculus

Plotkin, Gordon ; Reynolds, John

Information and Computation 1991

Texto completo disponível

Citações Citado por
3
A Semantics for Static Type Inference
A Semantics for Static Type Inference
Material Type:
Archival Material / Manuscript 		Adicionar ao Meu Espaço

A Semantics for Static Type Inference

Plotkin, Gordon

SPRINGER VERLAG 1991

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.