Resultados de 1 a 10 de 11 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Dataset
|
|
Elementary Type Inference (Artifact)Zhao, Jinxu ; Oliveira, Bruno C. d. S. Winter, Stefan ; Gorla, AlessandraSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
| 2 |
Material Type: Dataset
|
|
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)Huang, Xuejing ; Oliveira, Bruno C. d. S. Rigger, Manuel ; Do, Lisa Nguyen QuangSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2020Texto completo disponível |
| 3 |
Material Type: Dataset
|
|
Compositional Programming (Artifact)Zhang, Weixin ; Sun, Yaozhu ; Oliveira, Bruno C. d. S. Stiévenart, Quentin ; Halfond, William G. J.Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2021Texto completo disponível |
| 4 |
Material Type: Dataset
|
|
Type-Directed Operational Semantics for Gradual Typing (Artifact)Ye, Wenjia ; Oliveira, Bruno C. d. S. ; Huang, Xuejing Stiévenart, Quentin ; Halfond, William G. J.Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2021Texto completo disponível |
| 5 |
Material Type: Dataset
|
|
The Duality of Subtyping (Artifact)Oliveira, Bruno C. d. S. ; Shaobo, Cui ; Rehman, Baber Rigger, Manuel ; Do, Lisa Nguyen QuangSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2020Texto completo disponível |
| 6 |
Material Type: Dataset
|
|
Union Types with Disjoint Switches (Artifact)Rehman, Baber ; Huang, Xuejing ; Xie, Ningning ; Oliveira, Bruno C. d. S. Winter, Stefan ; Gorla, AlessandraSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
| 7 |
Material Type: Dataset
|
|
Direct Foundations for Compositional Programming (Artifact)Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S. Winter, Stefan ; Gorla, AlessandraSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
| 8 |
Material Type: Dataset
|
|
Typed First-Class Traits (Artifact)Bi, Xuan ; Oliveira, Bruno C. d. S. Christakis, Maria ; Rapoport, Marianna ; Haller, PhilippSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2018Texto completo disponível |
| 9 |
Material Type: Dataset
|
|
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)Zhang, Weixin ; Oliveira, Bruno C. d. S. Pradel, Michael ; van der Storm, Tijs ; Haller, PhilippSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2017Texto completo disponível |
| 10 |
Material Type: Dataset
|
|
The Essence of Nested Composition (Artifact)Bi, Xuan ; Oliveira, Bruno C. d. S. ; Schrijvers, Tom Christakis, Maria ; Rapoport, Marianna ; Haller, PhilippSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2018Texto completo disponível |
Resultados de 1 a 10 de 11 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
Refinar Meus Resultados
Assunto
- Software And Its Engineering → Object Oriented Languages (4)
- Intersection Types (4)
- Theory Of Computation → Type Theory (4)
- Operational Semantics (3)
- Software And Its Engineering → Polymorphism (2)
- Type Systems (2)
- Traits (2)
- Land Use And Land Cover (1)
- Disjoint Polymorphism (1)
- Domain-Specific Languages (1)
- Expression Problem (1)
- Duotyping (1)
- Compositionality (1)
- Duality (1)
- Coherence (1)
- Biomass Burning (1)
- Disjointness (1)
- Gradual Typing (1)
- Family Polymorphism (1)
- Extensible Designs (1)
-
Mais opções
Data de Publicação
- Antes de2017 (1)
- 2017Até2017 (1)
- 2018Até2019 (2)
- 2020Até2021 (4)
- Após 2021 (4)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 