6 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
ACM Digital Library
assunto:
Computer Science
assunto:
Functional Programming Languages
assunto:
Computer Science
assunto:
Functional Programming Languages
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Full Abstraction for Probabilistic PCFEhrhard, Thomas ; Pagani, Michele ; Tasson, ChristineJournal of the ACM, 2018-08, Vol.65 (4), p.1-44 [Periódico revisado por pares]New York: ACMTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Purity of an ST monad: full abstraction by semantically typed back-translationJacobs, Koen ; Devriese, Dominique ; Timany, AminProceedings of ACM on programming languages, 2022-04, Vol.6 (OOPSLA1), p.1-27 [Periódico revisado por pares]Texto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Modular, higher-order cardinality analysis in theory and practiceSergey, Ilya ; Vytiniotis, Dimitrios ; Peyton Jones, SimonProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.335-347New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
ConCert: a smart contract certification framework in CoqAnnenkov, Danil ; Nielsen, Jakob Botsch ; Spitters, BasProceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, p.215-228New York, NY, USA: ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Compiling with continuations, continuedKennedy, AndrewSIGPLAN notices, 2007-10, Vol.42 (9), p.177-190Texto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Compiling with continuations, continuedKennedy, AndrewInternational Conference on Functional Programming: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming; 01-03 Oct. 2007, 2007, p.177-190New York, NY, USA: ACMTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Full Abstraction (2)
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics (2)
- Programming Languages (2)
- Monads (2)
- Continuations (2)
- Optimizing Compilation (2)
- Continuation Passing Style (2)
- Cardinality Analysis (1)
- Computer Science, Hardware & Architecture (1)
- Algorithms (1)
- Applied Sciences (1)
- Certified Programming (1)
- Adequacy (1)
- Blockchain (1)
- Compilers (1)
-
Mais opções
Data de Publicação
- Antes de2007 (1)
- 2007Até2013 (2)
- 2014Até2017 (1)
- 2018Até2020 (2)
- Após 2020 (1)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 