A Lazy Desugaring System for Evaluating Programs with Sugars

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	FLOPS (16. : 2022 : Online) Functional and logic programming
1. Verfasser:	Yang, Ziyi (VerfasserIn)
Weitere Verfasser:	Xiao, Yushuo (VerfasserIn), Guan, Zhichao (VerfasserIn), Hu, Zhenjiang (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Zipping Strategies and Attribute Grammars	2022	Macedo, José Nuno
Generating C: System Description	2022	Kiselyov, Oleg
Scheduling Complexity of Interleaving Search	2022	Rozplokhas, Dmitry
Explanations as Programs in Probabilistic Logic Programming	2022	Vidal, Germón
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data	2022	Wang, Huaduo
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs	2022	Zhang, Shujun
Enhancing Expressivity of Checked Corecursive Streams	2022	Ancona, Davide
Asynchronous Unfold/Fold Transformation for Fixpoint Logic	2022	Ameen, Mahmudul Faisal Al
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform	2022	Masuda, Masahiro
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming: System Description	2022	Shbita, Basel
A Functional Account of Probabilistic Programming with Possible Worlds: Declarative Pearl	2022	Berg, Birthe van den
Improving Type Error Reporting for Type Classes	2022	Chen, Sheng
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL	2022	Hirata, Michikazu
Translation Certification for Smart Contracts	2022	Krijnen, Jacco O0. G.
A Lazy Desugaring System for Evaluating Programs with Sugars	2022	Yang, Ziyi