Personensuche
X
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
2
Tabulation with Zippers:
, In:
?
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
3
Efficient Embedding of Strategic Attribute Grammars via Mem..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
5
Zipping Strategies and Attribute Grammars:
, In:
?
Informatics in Schools. Engaging Learners in Computational Thinking; Lecture Notes in Computer Science ,
7
A Case of Teaching Practice Founded on a Theoretical Model:
, In:
?
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity ,
8
A Gradual Type System for Elixir:
, In:
?
2019 XIV Latin American Conference on Learning Technologies (LACLO) ,
9
Using Functional Programming to Promote Math Learning:
, In:
?
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages ,
11
Attribute grammars fly first-class... safer! : dealing w..:
, In:
?
Proceedings of the XXIII Brazilian Symposium on Programming Languages ,
12
Structure verification of deep neural networks at compilati..:
, In:
?
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages ,
13
A Staged Embedding of Attribute Grammars in Haskell:
, In:
?
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming ,
14
An Internalist Approach to Correct-by-Construction Compiler:
, In:
?
2018 XLIV Latin American Computer Conference (CLEI) ,
15