Resultados de 1 a 10 de 1.175 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:
tipo de recurso:
Artigos
| 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
|
|
A coherent differential PCFEhrhard, ThomasLogical methods in computer science, 2023-10, Vol.19, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runSTTimany, Amin ; Stefanesco, Léo ; Krogh-Jespersen, Morten ; Birkedal, LarsProceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-28 [Periódico revisado por pares]ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Purity of an ST Monad Full Abstraction by Semantically Typed Back-TranslationJacobs, Koen ; Devriese, Dominique ; Timany, AminASSOC COMPUTING MACHINERY 2022-04Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
On the value of variablesAccattoli, Beniamino ; Sacerdoti Coen, ClaudioInformation and computation, 2017-08, Vol.255, p.224-242 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runSTTimany, Amin ; Stefanesco, Léo ; Krogh-Jespersen, Morten ; Birkedal, LarsACM 2017-12Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect HandlersHamana, MakotoLogical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Reversible Garbage Collection for Reversible Functional LanguagesMogensen, Torben ÆgidiusNew generation computing, 2018-07, Vol.36 (3), p.203-232 [Periódico revisado por pares]Tokyo: OhmshaTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A concurrent lambda calculus with futuresNiehren, J. ; Schwinghammer, J. ; Smolka, G.Theoretical computer science, 2006-11, Vol.364 (3), p.338-356 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
On generic context lemmas for higher-order calculi with sharingSchmidt-Schauß, Manfred ; Sabel, DavidTheoretical computer science, 2010-03, Vol.411 (11), p.1521-1541 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 1.175 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
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Science & Technology (666)
- Functional Programming (648)
- Programming Languages (625)
- Computer Science (602)
- Technology (584)
- Computer Science, Software Engineering (348)
- Software (296)
- Computer Science - Programming Languages (256)
- Exact Sciences And Technology (230)
- Applied Sciences (226)
- Computer Science; Control Theory; Systems (223)
- Semantics (160)
- Algorithms (145)
- Computer Science, Theory & Methods (119)
- Software Engineering (111)
- Engineering (107)
- Compilers (99)
- Mathematical Analysis (95)
- Software And Its Engineering (94)
- Functional Languages (89)
-
Mais opções
Data de Publicação
- Antes de1985 (25)
- 1985Até1993 (95)
- 1994Até2002 (121)
- 2003Até2012 (281)
- Após 2012 (654)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (560)
- ROAD: Directory of Open Access Scholarly Resources (458)
- Open Access: Freely Accessible Journals by multiple vendors (340)
- arXiv.org (325)
- EBSCOhost Computers and Applied Sciences Complete (245)
- EZB Free E-Journals (223)
- ACM Digital Library Complete (204)
- SpringerLink (Online service) (172)
- Gale Academic OneFile Select (144)
- IEEE Electronic Library (IEL) Journals (137)
- ScienceDirect (136)
- Springer Nature - Springer Journals All 2022 (126)
- Journals@Ovid (97)
- DOAJ Directory of Open Access Journals (94)
- EBSCOhost Business Source Complete (87)
- ANTE: Abstracts in New Technology & Engineering (82)
- Academic Search Premier (77)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (66)
- IngentaConnect Journals (63)
- PubMed Central (44)
-
Mais opções
Idioma
Nome da Publicação
- arXiv.org (325)
- Arxiv (111)
- Sigplan Notices (63)
- Acm Transactions On Programming Languages And Systems (59)
- Ieee Transactions On Software Engineering (40)
- Acm Sigplan Notices (38)
- Proceedings Of Acm On Programming Languages (37)
- Higher-Order And Symbolic Computation (22)
- Information Processing Letters (22)
- Computer Languages (16)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 