Publications

[1]

J.N. Macedo, E. Rodrigues, M. Viera, J. Saraiva, Zipper-based embedding of strategic attribute grammars, Journal of Systems and Software. 211 (2024) 111975.

[2]

J.N. Macedo, E. Rodrigues, M. Viera, J. Saraiva, Efficient embedding of strategic attribute grammars via memoization, in: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Association for Computing Machinery, New York, NY, USA, 2023: pp. 41–54.

[3]

J.N. Macedo, M. Viera, J. Saraiva, Zipping strategies and attribute grammars, in: Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings, Springer-Verlag, Berlin, Heidelberg, 2022: pp. 112–132.

[4]

M. Cassola, A. Talagorria, A. Pardo, M. Viera, A gradual type system for Elixir, Journal of Computer Languages. 68 (2022) 101077.

[5]

L. Piñeyro, A. Pardo, M. Viera, Structure verification of deep neural networks at compilation time, Journal of Computer Languages. 67 (2021) 101074.

[6]

S. da Rosa, M. Viera, J. Garcı́a-Garland, A case of teaching practice founded on a theoretical model, in: K. Kori, M. Laanpere (Eds.), Informatics in Schools. Engaging Learners in Computational Thinking - 13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16-18, 2020, Proceedings, Springer, 2020: pp. 146–157.

[7]

M. Cassola, A. Talagorria, A. Pardo, M. Viera, A gradual type system for Elixir, in: Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity, Association for Computing Machinery, New York, NY, USA, 2020: p. 1724.

[8]

G. Cameto, A. Carboni, V. Koleszar, M. Méndez, G. Tejera, M. Viera, J. Wagner, Using functional programming to promote math learning, in: 2019 XIV Latin American Conference on Learning Technologies (LACLO), 2019: pp. 306–313.

[9]

J. Garcı́a-Garland, M. Viera, A. Pardo, Attribute Grammars Fly First-class... Safer!, in: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, ACM, New York, NY, USA, 2019.

[10]

L. Piñeyro, A. Pardo, M. Viera, Structure verification of deep neural networks at compilation time using dependent types, in: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, ACM, 2019: pp. 46–53.

[11]

D. Calegari, M. Viera, Experimenting with functional features of the Object Constraint Language, in: A.D. Brucker, G. Daniel, F. Jouault (Eds.), 19th International Workshop in OCL and Textual Modeling (OCL 2019) Co-Located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019, CEUR-WS.org, 2019: pp. 31–44.

[12]

J.P. Fernandes, P. Martins, A. Pardo, J. Saraiva, M. Viera, Memoized zipper-based attribute grammars and their higher order extension, Science of Computer Programming. 173 (2019) 71–94.

[13]

M. Viera, F. Balestrieri, A. Pardo, A Staged Embedding of Attribute Grammars in Haskell, in: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, ACM, New York, NY, USA, 2018: pp. 95–106.

[14]

G. Sintas, L. Vaz, D. Calegari, M. Viera, Model-driven development of an interpreter for the object constraint language, in: Conferencia Latinoamericana de Informática (CLEI 2018) - SLISW, São Paulo, Brazil, 2018.

[15]

A. Carboni, V. Koleszar, G. Tejera, M. Viera, J. Wagner, MateFun: Functional programming and math with adolescents, in: Conferencia Latinoamericana de Informática (CLEI 2018) - SIESC, São Paulo, Brazil, 2018.

[16]

A. Pardo, E. Gunther, M. Pagano, M. Viera, An internalist approach to correct-by-construction compilers, in: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt Am Main, Germany, September 03-05, 2018, 2018: pp. 17:1–17:12.

[17]

G. Waszczuk, A. Pardo, M. Viera, Extensible records in idris, in: Proceedings of the 21st Brazilian Symposium on Programming Languages, ACM, New York, NY, USA, 2017: pp. 5:1–5:8.

[18]

D. Calegari, M. Viera, On the functional interpretation of OCL, in: A.D. Brucker, J. Cabot, A.S.-B. Herrera (Eds.), Proceedings of the 16th International Workshop on OCL and Textual Modelling Co-Located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016., CEUR-WS.org, 2016: pp. 33–48.

[19]

S.D. Swierstra, M. Viera, A. Dijkstra, A lazy language needs a lazy type system: Introducing polymorphic contexts, in: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, ACM, New York, NY, USA, 2016: pp. 7:1–7:12.

[20]

J.P. Fernandes, P. Martins, A. Pardo, J. Saraiva, M. Viera, Memoized zipper-based attribute grammars, in: F. Castor, D.Y. Liu (Eds.), Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, Springer International Publishing, 2016: pp. 46–61.

[21]

M. Blanco, P. Perdomo, P. Ezzatti, A. Pardo, M. Viera, Painless parallelism on heterogeneous hardware leveraging the functional paradigm, in: 2015 International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PAD Workshops, Florianópolis, Brazil, October 18-21, 2015, 2015: pp. 73–78.

[22]

M. Viera, S.D. Swierstra, Compositional compiler construction: Oberon0, Science of Computer Programming. 114 (2015) 45–56.

[23]

D. Calegari, M. Viera, Model-driven engineering based on attribute grammars, in: A. Pardo, S.D. Swierstra (Eds.), Proceedings of the 19th Brazilian Conference on Programming Languages, Springer International Publishing, Berlin, Heidelberg, 2015: pp. 112–127.

[24]

M. Viera, S.D. Swierstra, Attribute grammar macros, Science of Computer Programming. 96, Part 2 (2014) 211–229.

[25]

J. Krijnen, S.D. Swierstra, M. Viera, Expand: Towards an extensible pandoc system, in: M. Flatt, H.-F. Guo (Eds.), Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings, Springer, 2014: pp. 200–215.

[26]

M. Blanco, P. Perdomo, P. Ezzatti, A. Pardo, M. Viera, Towards a functional run-time for dense NLA domain, in: Proceedings of the 2Nd ACM SIGPLAN Workshop on Functional High-Performance Computing, ACM, New York, NY, USA, 2013: pp. 85–96.

[27]

M. Viera, First class syntax, semantics, and their composition, PhD thesis, Utrecht University - PEDECIBA, 2013.

[28]

B. Martinez, M. Viera, A. Pardo, Just do it while compiling!: Fast extensible records in haskell, in: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, ACM, New York, NY, USA, 2013: pp. 77–86.

[29]

M. Viera, S.D. Swierstra, Attribute grammar macros, in: Proceedings of the 16th Brazilian Conference on Programming Languages, Springer-Verlag, Berlin, Heidelberg, 2012: pp. 150–164.

[30]

M. Viera, D. Swierstra, A. Dijkstra, Grammar fragments fly first-class, in: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, ACM, New York, NY, USA, 2012: pp. 5:1–5:7.

[31]

M. Viera, S.D. Swierstra, A. Middelkoop, UUAG meets AspectAG: How to make attribute grammars first-class, in: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, ACM, New York, NY, USA, 2012: pp. 6:1–6:8.

[32]

M. Viera, S.D. Swierstra, W. Swierstra, Attribute grammars fly first-class: How to do aspect oriented programming in haskell, in: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ACM, New York, NY, USA, 2009: pp. 245–256.

[33]

A.I. Baars, S.D. Swierstra, M. Viera, Typed transformations of typed grammars: The left corner transform, in: Proceedings of the 9th Workshop on Language Descriptions Tools and Applications, York, UK, 2009: pp. 18–33.

[34]

A.I. Baars, S.D. Swierstra, M. Viera, Typed transformations of typed abstract syntax, in: TLDI ’09: Proceedings of the 4th International Workshop on Types in Language Design and Implementation, ACM, New York, NY, USA, 2009: pp. 15–26.

[35]

M. Viera, S.D. Swierstra, E. Lempsink, Haskell, do you read me?: Constructing and composing efficient top-down parsers at runtime, in: Haskell ’08: Proceedings of the First ACM SIGPLAN Symposium on Haskell, ACM, New York, NY, USA, 2008: pp. 63–74.

[36]

M. Viera, Diseño de un lenguaje tipado con mecanismos de reflexión de código, Master’s thesis, PEDECIBA, 2007.

[37]

C. Luna, M. Pedemonte, M. Viera, E. Fraschini, Organización para un curso de programación en un contexto de masividad. Resultados tras experiencia de 4 años, Revista Iberoamericana de Tecnología En Educación y Educación En Tecnología: TE & ET. 2 (2007) 83–91.

[38]

M. Viera, A. Pardo, A multi-stage language with intensional analysis, in: Proceedings of the 5th International Conference on Generative Programming and Component Engineering (GPCE ’06), ACM, New York, NY, USA, 2006: pp. 11–20.

[39]

C. Luna, M. Pedemonte, M. Viera, E. Fraschini, Organización para un curso de programación en un contexto de masividad, in: XIV Congreso Iberoamericano de Educación Superior En Computación (CIESC-2006), Santiago de Chile, Chile, 2006.

[40]

D. Calegari, M. Viera, R. Motz, Design of a service-oriented architecture for federated systems, Journal of Computer Science & Technology. 5 (2005) 164–172.