skip to main content
Resultados 1 2 3 next page
Refinado por: Nome da Publicação: Journal of Functional Programming remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Implicit self-adjusting computation for purely functional programs

Chen, Yan ; Dunfield, Joshua ; Hammer, Matthew A ; Acar, Umut A

Journal of Functional Programming, 01 January 2014, Vol.24(1), pp.56-112 [Periódico revisado por pares]

Texto completo disponível

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

The essence of ornaments

Dagand, Pierre-Evariste

Journal of Functional Programming, January 2017, Vol.27 [Periódico revisado por pares]

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Foundations of Dependent Interoperability

Dagand, Pierre-Evariste ; Tabareau, Nicolas ; Tanter, Éric

Journal of Functional Programming, 13 March 2018, Vol.28 [Periódico revisado por pares]

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Syntactic soundness proof of a type-and-capability system with hidden state

Pottier, François

Journal of Functional Programming, January 2013, Vol.23(1), pp.38-144 [Periódico revisado por pares]

Texto completo disponível

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

Transporting functions across ornaments

Dagand, Pierre-Évariste  ; Mcbride, Conor 

Journal of Functional Programming, May 2014, Vol.24(2-3), p.67 [Periódico revisado por pares]

Texto completo disponível

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

Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages

Acar, Umut A ; Charguéraud, Arthur ; Rainey, Mike

Journal of Functional Programming, 10 November 2016, Vol.26 [Periódico revisado por pares]

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading

Ziliani, Beta ; Sozeau, Matthieu

Journal of Functional Programming, 2017, Vol.27 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

A unified treatment of syntax with binders

Pouillard, Nicolas ; Pottier, François

Journal of Functional Programming, 2012, Vol.22(4--5), pp.614--704 [Periódico revisado por pares]

Texto completo disponível

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

Elaborating Intersection and Union Types

Dunfield, Joshua

J. Funct. Prog. 24 (2014) 133-165 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
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
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.