Attribute grammars fly first-class: how to do aspect oriented programming in Haskell M Viera, SD Swierstra, W Swierstra ACM Sigplan Notices 44 (9), 245-256, 2009 | 72 | 2009 |
Typed transformations of typed abstract syntax AI Baars, SD Swierstra, M Viera Proceedings of the 4th international workshop on Types in language design …, 2009 | 30 | 2009 |
Typed transformations of typed grammars: The left corner transform A Baars, SD Swierstra, M Viera Electronic Notes in Theoretical Computer Science 253 (7), 51-64, 2010 | 26 | 2010 |
Haskell, do you read me? constructing and composing efficient top-down parsers at runtime M Viera, SD Swierstra, E Lempsink Proceedings of the first ACM SIGPLAN symposium on Haskell, 63-74, 2008 | 21 | 2008 |
A gradual type system for Elixir M Cassola, A Talagorria, A Pardo, M Viera Proceedings of the 24th Brazilian Symposium on Context-oriented Programming …, 2020 | 16 | 2020 |
First class syntax, semantics, and their composition M Viera, SD Swierstra Proceedings of the 25th symposium on Implementation and Application of …, 2013 | 13 | 2013 |
UUAG meets AspectAG: How to make attribute grammars first-class M Viera, D Swierstra, A Middelkoop Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and …, 2012 | 13 | 2012 |
Attribute grammar macros M Viera, SD Swierstra Science of Computer Programming 96, 211-229, 2014 | 10 | 2014 |
A multi-stage language with intensional analysis M Viera, A Pardo Proceedings of the 5th international conference on Generative programming …, 2006 | 9 | 2006 |
Memoized zipper-based attribute grammars and their higher order extension JP Fernandes, P Martins, A Pardo, J Saraiva, M Viera Science of Computer Programming 173, 71-94, 2019 | 8 | 2019 |
An internalist approach to correct-by-construction compilers A Pardo, E Gunther, M Pagano, M Viera Proceedings of the 20th International Symposium on Principles and Practice …, 2018 | 8 | 2018 |
Grammar fragments fly first-class M Viera, D Swierstra, A Dijkstra Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and …, 2012 | 8 | 2012 |
Design of a service-oriented architecture for federated systems D Calegari, M Viera, R Motz Journal of Computer Science and Technology 5 (04), 167-172, 2005 | 7 | 2005 |
Zipping strategies and attribute grammars JN Macedo, M Viera, J Saraiva International Symposium on Functional and Logic Programming, 112-132, 2022 | 6 | 2022 |
Structure verification of deep neural networks at compilation time using dependent types L Piñeyro, A Pardo, M Viera Proceedings of the XXIII Brazilian Symposium on Programming Languages, 46-53, 2019 | 6 | 2019 |
Matefun: Functional programming and math with adolescents A Carboni, V Koleszar, G Tejera, M Viera, J Wagner 2018 XLIV Latin American Computer Conference (CLEI), 849-858, 2018 | 6 | 2018 |
Compositional compiler construction: Oberon0 M Viera, SD Swierstra Science of Computer Programming 114, 45-56, 2015 | 5 | 2015 |
Expand: Towards an extensible Pandoc system J Krijnen, D Swierstra, MO Viera International Symposium on Practical Aspects of Declarative Languages, 200-215, 2014 | 5 | 2014 |
Organización para un Curso de Programación en un Contexto de Masividad C Luna, M Pedemonte, M Viera, E Fraschini Proc. Iberian-American Conference on Higher Education in Computer Science …, 2006 | 5 | 2006 |
A case of teaching practice founded on a theoretical model S da Rosa, M Viera, J García-Garland Informatics in Schools. Engaging Learners in Computational Thinking: 13th …, 2020 | 4 | 2020 |