An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming (Englisch)
Freier Zugriff
- Neue Suche nach: Suwa, Takashi
- Weitere Informationen zu Suwa, Takashi:
- https://orcid.org/http://orcid.org/0009-0004-9845-7419
- Neue Suche nach: Igarashi, Atsushi
- Weitere Informationen zu Igarashi, Atsushi:
- https://orcid.org/http://orcid.org/0000-0002-5143-9764
- Neue Suche nach: Gibbons, Jeremy
- Weitere Informationen zu Gibbons, Jeremy:
- https://orcid.org/https://orcid.org/0000-0002-8426-9917
- Neue Suche nach: Miller, Dale
- Weitere Informationen zu Miller, Dale:
- https://orcid.org/https://orcid.org/0000-0003-0274-4954
- Neue Suche nach: Suwa, Takashi
- Weitere Informationen zu Suwa, Takashi:
- https://orcid.org/http://orcid.org/0009-0004-9845-7419
- Neue Suche nach: Igarashi, Atsushi
- Weitere Informationen zu Igarashi, Atsushi:
- https://orcid.org/http://orcid.org/0000-0002-5143-9764
In:
Functional and Logic Programming
: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
;
Kapitel: 13
;
237-272
;
2024
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Gibbons, Jeremy ( Herausgeber:in ) / Miller, Dale ( Herausgeber:in ) / Suwa, Takashi ( Autor:in ) / Igarashi, Atsushi ( Autor:in )
-
Kongress:International Symposium on Functional and Logic Programming ; 2024 ; Kumamoto, Japan
-
Erschienen in:Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings ; Kapitel: 13 ; 237-272Lecture Notes in Computer Science ; 14659 ; 237-272
-
Verlag:
- Neue Suche nach: Springer Nature Singapore
-
Erscheinungsort:Singapore
-
Erscheinungsdatum:01.01.2024
-
Format / Umfang:36 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract)Inoue, Katsumi et al. | 2024
- 2
-
ACGtk: A Toolkit for Developing and Running Abstract Categorial GrammarsGuillaume, Maxime / Pogodalla, Sylvain / Tourneur, Vincent et al. | 2024
- 3
-
Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual ImprovementMuroya, Koko / Hamana, Makoto et al. | 2024
- 4
-
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term RewritingKassing, Jan-Christoph / Dollase, Stefan / Giesl, Jürgen et al. | 2024
- 5
-
Tabulation with ZippersViera, Marcos / Pardo, Alberto / Saraiva, João et al. | 2024
- 6
-
Declarative Pearl: Rigged ContractsVandenbroucke, Alexander / Schrijvers, Tom et al. | 2024
- 7
-
System Description: DeepLLM, Casting Dialog Threads into Logic ProgramsTarau, Paul et al. | 2024
- 8
-
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint SemanticsFages, François et al. | 2024
- 9
-
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)Lellmann, Björn / Marek, Philipp / Triska, Markus et al. | 2024
- 10
-
Inferring Non-failure Conditions for Declarative ProgramsHanus, Michael et al. | 2024
- 11
-
Being Lazy When It CountsLam, Chun Kit / Parreaux, Lionel et al. | 2024
- 12
-
MetaOCaml: Ten Years LaterKiselyov, Oleg et al. | 2024
- 13
-
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage ProgrammingSuwa, Takashi / Igarashi, Atsushi et al. | 2024
- 14
-
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic MetaprogrammingAbeysinghe, Supun / Rompf, Tiark et al. | 2024
- 15
-
Language-parameterized Proofs for Functional Languages with SubtypingGalasso, Seth / Cimini, Matteo et al. | 2024
- 16
-
System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, PlebbyLambert, Dakotah et al. | 2024