共 50 条
- [1] Semantics Lifting for Syntactic Sugar PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
- [4] Inferring Type Rules for Syntactic Sugar PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 812 - 825
- [6] ALGEBRAIC CONCEPTS CONNECTIVE WITH SYNTACTIC ANALYSIS REVUE FRANCAISE D INFORMATIQUE DE RECHERCHE OPERATIONNELLE, 1970, 4 (NR3): : 3 - &
- [7] ALGEBRAIC CONCEPTS BOUND TO SYNTACTIC ANALYSIS REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1970, 4 (NR3): : 3 - 29
- [9] Modeling With Monads Extensible Modeling Semantics as Syntactic Sugar 7TH INTERNATIONAL WORKSHOP ON EQUATION-BASED OBJECT-ORIENTED MODELING LANGUAGES AND TOOLS, 2016, : 15 - 24