Resultados de 1 a 10 de 41 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:
assunto:
Computer Science - Programming Languages
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Strongly-Normalizing Higher-Order Relational QueriesRicciotti, Wilmer ; Cheney, JamesLogical methods in computer science, 2022-08, Vol.18, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
A dependent nominal type theoryCheney, JamesLogical methods in computer science, 2012, Vol.8, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Strongly-Normalizing Higher-Order Relational QueriesRicciotti, Wilmer ; Cheney, JamesarXiv.org, 2022-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Nominal Matching LogicCheney, James ; Fernández, MaribelarXiv.org, 2022-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Comprehending nullsCheney, James ; Ricciotti, WilmerarXiv.org, 2021-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Curating Covid-19 data in LinksGalpin, Vashti ; Cheney, JamesarXiv.org, 2021-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Query Lifting: Language-integrated query for heterogeneous nested collectionsRicciotti, Wilmer ; Cheney, JamesarXiv.org, 2021-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Language-Integrated Query for Temporal Data (Extended version)Fowler, Simon ; Galpin, Vashti ; Cheney, JamesarXiv.org, 2022-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Towards meta-interpretive learning of programming language semanticsBartha, Sándor ; Cheney, JamesarXiv.org, 2019-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Verified Self-Explaining ComputationStolarek, Jan ; Cheney, JamesarXiv.org, 2019-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
Resultados de 1 a 10 de 41 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
- Semantics (16)
- Programming Languages (16)
- Query Languages (14)
- Computer Science - Databases (12)
- Computer Science - Logic In Computer Science (9)
- Queries (9)
- Algorithms (8)
- Slicing (8)
- Translations (5)
- Provenance (5)
- Language (5)
- Functional Programming (4)
- Annotations (3)
- Links (3)
- Lenses (3)
- Calculus (3)
- Relational Data Bases (3)
- Case Studies (2)
- Applications Programs (2)
-
Mais opções
Data de Publicação
- Antes de2009 (5)
- 2009Até2013 (4)
- 2014Até2016 (9)
- 2017Até2020 (14)
- Após 2020 (10)
-
Mais opções
Base de Dados/Biblioteca
Nome da Publicação
- arXiv.org (35)
- Arxiv (10)
- Logical Methods In Computer Science (2)
- Edinburgh Research Explorer (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 