Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Viera, Marcos
165  Ergebnisse:
Personensuche X
?
1

Zipper-based embedding of strategic attribute grammars:

Macedo, José Nuno ; Rodrigues, Emanuel ; Viera, Marcos.
Journal of Systems and Software.  211 (2024)  - p. 111975 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Tabulation with Zippers:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Viera, Marcos ; Pardo, Alberto ; Saraiva, João - p. 83-98 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Efficient Embedding of Strategic Attribute Grammars via Mem..:

, In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,
Macedo, José Nuno ; Rodrigues, Emanuel ; Viera, Marcos. - p. 41-54 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

A gradual type system for Elixir:

Cassola, Mauricio ; Talagorria, Agustín ; Pardo, Alberto.
Journal of Computer Languages.  68 (2022)  - p. 101077 , 2022
Link: https://doi.org/10.1016/..
 
?
5

Zipping Strategies and Attribute Grammars:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,
Macedo, José Nuno ; Viera, Marcos ; Saraiva, João - p. 112-132 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Structure verification of deep neural networks at compilati..:

Piñeyro, Leonardo ; Pardo, Alberto ; Viera, Marcos
Journal of Computer Languages.  67 (2021)  - p. 101074 , 2021
Link: https://doi.org/10.1016/..
 
?
7

A Case of Teaching Practice Founded on a Theoretical Model:

, In: Informatics in Schools. Engaging Learners in Computational Thinking; Lecture Notes in Computer Science,
da Rosa, Sylvia ; Viera, Marcos ; García-Garland, Juan - p. 146-157 , 2020
Link: https://doi.org/10.1007/..
 
?
8

A Gradual Type System for Elixir:

, In: Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity,
Cassola, Mauricio ; Talagorria, Agustín ; Pardo, Alberto. - p. 17-24 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Memoized zipper-based attribute grammars and their higher o..:

Fernandes, João Paulo ; Martins, Pedro ; Pardo, Alberto..
Science of Computer Programming.  173 (2019)  - p. 71-94 , 2019
Link: https://doi.org/10.1016/..
 
?
10

Attribute grammars fly first-class... safer! : dealing w..:

, In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages,
García-Garland, Juan ; Pardo, Alberto ; Viera, Marcos - p. 1-12 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Using Functional Programming to Promote Math Learning:

, In: 2019 XIV Latin American Conference on Learning Technologies (LACLO),
Cameto, Gonzalo ; Carboni, Alejandra ; Koleszar, Victor... - p. 306-313 , 2019
Link: https://doi.org/10.1109/..
 
?
12

Structure verification of deep neural networks at compilati..:

, In: Proceedings of the XXIII Brazilian Symposium on Programming Languages,
Piñeyro, Leonardo ; Pardo, Alberto ; Viera, Marcos - p. 46-53 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

A Staged Embedding of Attribute Grammars in Haskell:

, In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages,
Viera, Marcos ; Balestrieri, Florent ; Pardo, Alberto - p. 95-106 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

An Internalist Approach to Correct-by-Construction Compiler:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,
Pardo, Alberto ; Gunther, Emmanuel ; Pagano, Miguel. - p. 1-12 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

MateFun: Functional Programming and Math with Adolescents:

, In: 2018 XLIV Latin American Computer Conference (CLEI),
Carboni, Alejandra ; Koleszar, Victor ; Tejera, Gonzalo.. - p. 849-858 , 2018
Link: https://doi.org/10.1109/..
 
1-15