Marcos Viera

According to our database, Marcos Viera authored at least 36 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Zipper-based embedding of strategic attribute grammars.

José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva

J. Syst. Softw., 2024

Tabulation with Zippers.

Marcos Viera, Alberto Pardo, João Saraiva

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python.

Emanuel Rodrigues, José Nuno Macedo, Marcos Viera, João Saraiva

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

Efficient Embedding of Strategic Attribute Grammars via Memoization.

José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

2022

A gradual type system for Elixir.

Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera

J. Comput. Lang., 2022

Zipping Strategies and Attribute Grammars.

José Nuno Macedo, Marcos Viera, João Saraiva

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

Structure verification of deep neural networks at compilation time.

Leonardo Piñeyro, Alberto Pardo, Marcos Viera

J. Comput. Lang., 2021

2020

A Case of Teaching Practice Founded on a Theoretical Model.

Sylvia da Rosa, Marcos Viera, Juan García-Garland

Proceedings of the Informatics in Schools. Engaging Learners in Computational Thinking, 2020

2019

Memoized zipper-based attribute grammars and their higher order extension.

João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera

Sci. Comput. Program., 2019

Structure verification of deep neural networks at compilation time using dependent types.

Leonardo Piñeyro, Alberto Pardo, Marcos Viera

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Experimenting with Functional Features of the Object Constraint Language.

Daniel Calegari, Marcos Viera

Proceedings of the 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), 2019

Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming.

Juan García-Garland, Alberto Pardo, Marcos Viera

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

An Internalist Approach to Correct-by-Construction Compilers.

Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

A Staged Embedding of Attribute Grammars in Haskell.

Marcos Viera, Florent Balestrieri, Alberto Pardo

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

Model-Driven Development of an Interpreter for the Object Constraint Language.

Gonzalo Sintas, Leticia Vaz Lutz, Daniel Calegari, Marcos Viera

Proceedings of the XLIV Latin American Computer Conference, 2018

MateFun: Functional Programming and Math with Adolescents.

Alejandra Carboni, Víctor Koleszar, Gonzalo Tejera, Marcos Viera, Javier Wagner

Proceedings of the XLIV Latin American Computer Conference, 2018

2017

Extensible records in Idris.

Gonzalo Waszczuk, Alberto Pardo, Marcos Viera

Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

2016

Memoized Zipper-Based Attribute Grammars.

João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

On the Functional Interpretation of OCL.

Daniel Calegari, Marcos Viera

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), 2016

A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.

S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

Compositional compiler construction: Oberon0.

Marcos Viera, S. Doaitse Swierstra

Sci. Comput. Program., 2015

Model-Driven Engineering Based on Attribute Grammars.

Daniel Calegari, Marcos Viera

Proceedings of the Programming Languages, 2015

Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm.

Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera

Proceedings of the 2015 International Symposium on Computer Architecture and High Performance Computing Workshops, 2015

2014

Attribute grammar macros.

Marcos Viera, S. Doaitse Swierstra

Sci. Comput. Program., 2014

Expand: Towards an Extensible Pandoc System.

Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera

Proceedings of the Practical Aspects of Declarative Languages, 2014

2013

First Class Syntax, Semantics and Their Composition.

Marcos Viera

PhD thesis, 2013

Just do it while compiling!: fast extensible records in haskell.

Bruno Martinez, Marcos Viera, Alberto Pardo

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

First Class Syntax, Semantics, and Their Composition.

Marcos Viera, S. Doaitse Swierstra

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Towards a functional run-time for dense NLA domain.

Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012

UUAG meets AspectAG: how to make attribute grammars first-class.

Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop

Proceedings of the International Workshop on Language Descriptions, 2012

Grammar fragments fly first-class.

Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra

Proceedings of the International Workshop on Language Descriptions, 2012

2009

Typed Transformations of Typed Grammars: The Left Corner Transform.

Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Typed transformations of typed abstract syntax.

Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.

Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2006

A multi-stage language with intensional analysis.

Marcos Viera, Alberto Pardo

Proceedings of the Generative Programming and Component Engineering, 2006