skip to main content
Idioma:
Mostrar Somente
Refinado por: tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Full Abstraction for Probabilistic PCF
Full Abstraction for Probabilistic PCF
Material Type:
Artigo 		Adicionar ao Meu Espaço

Full Abstraction for Probabilistic PCF

Ehrhard, Thomas ; Pagani, Michele ; Tasson, Christine

Journal of the ACM, 2018-08, Vol.65 (4), p.1-44 [Periódico revisado por pares]

New York: ACM

Texto completo disponível

Citações Citado por
2
A coherent differential PCF
A coherent differential PCF
Material Type:
Artigo 		Adicionar ao Meu Espaço

A coherent differential PCF

Ehrhard, Thomas

Logical methods in computer science, 2023-10, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
3
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
Material Type:
Artigo 		Adicionar ao Meu Espaço

A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST

Timany, Amin ; Stefanesco, Léo ; Krogh-Jespersen, Morten ; Birkedal, Lars

Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-28 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
4
On the value of variables
On the value of variables
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the value of variables

Accattoli, Beniamino ; Sacerdoti Coen, Claudio

Information and computation, 2017-08, Vol.255, p.224-242 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
5
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

Hamana, Makoto

Logical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
Reversible Garbage Collection for Reversible Functional Languages
Reversible Garbage Collection for Reversible Functional Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reversible Garbage Collection for Reversible Functional Languages

Mogensen, Torben Ægidius

New generation computing, 2018-07, Vol.36 (3), p.203-232 [Periódico revisado por pares]

Tokyo: Ohmsha

Texto completo disponível

Citações Citado por
7
A concurrent lambda calculus with futures
A concurrent lambda calculus with futures
Material Type:
Artigo 		Adicionar ao Meu Espaço

A concurrent lambda calculus with futures

Niehren, J. ; Schwinghammer, J. ; Smolka, G.

Theoretical computer science, 2006-11, Vol.364 (3), p.338-356 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
On generic context lemmas for higher-order calculi with sharing
On generic context lemmas for higher-order calculi with sharing
Material Type:
Artigo 		Adicionar ao Meu Espaço

On generic context lemmas for higher-order calculi with sharing

Schmidt-Schauß, Manfred ; Sabel, David

Theoretical computer science, 2010-03, Vol.411 (11), p.1521-1541 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
9
Upon the Haskell support for the web applications development
Upon the Haskell support for the web applications development
Material Type:
Artigo 		Adicionar ao Meu Espaço

Upon the Haskell support for the web applications development

Vasilescu, Anca

Analele ştiinţifice ale Universităţii "Ovidius" Constanţa. Seria Matematică, 2015-01, Vol.23 (1), p.277-290 [Periódico revisado por pares]

De Gruyter Open

Texto completo disponível

Citações Citado por
10
Sharing analysis in the Pawns compiler
Sharing analysis in the Pawns compiler
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sharing analysis in the Pawns compiler

Naish, Lee

PeerJ. Computer science, 2015-09, Vol.1, p.e22 [Periódico revisado por pares]

San Diego: PeerJ. Ltd

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1.275)
  2. Revistas revisadas por pares (776)

Data de Publicação 

De até
Refinar
  1. Antes de1985  (29)
  2. 1985Até1994  (123)
  3. 1995Até2004  (144)
  4. 2005Até2015  (428)
  5. Após 2015  (624)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.335)
  2. Japonês  (66)
  3. Espanhol  (4)
  4. Português  (2)
  5. Chinês  (2)
  6. Francês  (2)
  7. Russo  (1)
  8. Norueguês  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.