Marcos Viera

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 24

Top Venues

SBLP

CoRR

Sci. Comput. Program.

IFL

Utrecht University, Netherlands (PHD)

Education History

Utrecht University, Netherlands

PHD

Publications

Emanuel Rodrigues, José Nuno Macedo, Marcos Viera, João Saraiva
pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python. ENASE (2024)
Marcos Viera, Alberto Pardo, João Saraiva
Tabulation with Zippers. FLOPS (2024)
José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva
Zipper-based embedding of strategic attribute grammars. J. Syst. Softw. 211 (2024)
José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva
Efficient Embedding of Strategic Attribute Grammars via Memoization. PEPM@POPL (2023)
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera
A gradual type system for Elixir. J. Comput. Lang. 68 (2022)
José Nuno Macedo, Marcos Viera, João Saraiva
Zipping Strategies and Attribute Grammars. FLOPS (2022)
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera
A Gradual Type System for Elixir. CoRR (2021)
Leonardo Piñeyro, Alberto Pardo, Marcos Viera
Structure verification of deep neural networks at compilation time. J. Comput. Lang. 67 (2021)
José Nuno Macedo, Marcos Viera, João Saraiva
Zipping Strategies and Attribute Grammars. CoRR (2021)
Sylvia da Rosa, Marcos Viera, Juan García-Garland
A Case of Teaching Practice Founded on a Theoretical Model. ISSEP (2020)
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera
A Gradual Type System for Elixir. SBLP (2020)
Juan García-Garland, Alberto Pardo, Marcos Viera
Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. IFL (2019)
Daniel Calegari, Marcos Viera
Experimenting with Functional Features of the Object Constraint Language. OCL@MoDELS (2019)
João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera
Memoized zipper-based attribute grammars and their higher order extension. Sci. Comput. Program. 173 (2019)
Leonardo Piñeyro, Alberto Pardo, Marcos Viera
Structure verification of deep neural networks at compilation time using dependent types. SBLP (2019)
Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera
An Internalist Approach to Correct-by-Construction Compilers. PPDP (2018)
Gonzalo Sintas, Leticia Vaz Lutz, Daniel Calegari, Marcos Viera
Model-Driven Development of an Interpreter for the Object Constraint Language. CLEI (2018)
Alejandra Carboni, Victor Koleszar, Gonzalo Tejera, Marcos Viera, Javier Wagner
MateFun: Functional Programming and Math with Adolescents. CLEI (2018)
Marcos Viera, Florent Balestrieri, Alberto Pardo
A Staged Embedding of Attribute Grammars in Haskell. IFL (2018)
Gonzalo Waszczuk, Alberto Pardo, Marcos Viera
Extensible records in Idris. SBLP (2017)
Daniel Calegari, Marcos Viera
On the Functional Interpretation of OCL. OCL@MoDELS (2016)
João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera
Memoized Zipper-Based Attribute Grammars. SBLP (2016)
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. CoRR (2016)
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. IFL (2016)
Daniel Calegari, Marcos Viera
Model-Driven Engineering Based on Attribute Grammars. SBLP (2015)
Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera
Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm. SBAC-PAD (Workshops) (2015)
Marcos Viera, S. Doaitse Swierstra
Compositional compiler construction: Oberon0. Sci. Comput. Program. 114 (2015)
Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera
Expand: Towards an Extensible Pandoc System. PADL (2014)
Marcos Viera, S. Doaitse Swierstra
Attribute grammar macros. Sci. Comput. Program. 96 (2014)
Marcos Viera, S. Doaitse Swierstra
First Class Syntax, Semantics, and Their Composition. IFL (2013)
Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera
Towards a functional run-time for dense NLA domain. FHPC@ICFP (2013)
Bruno Martinez, Marcos Viera, Alberto Pardo
Just do it while compiling!: fast extensible records in haskell. PEPM (2013)
Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra
Grammar fragments fly first-class. LDTA (2012)
Marcos Viera, S. Doaitse Swierstra
Attribute Grammar Macros. SBLP (2012)
Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop
UUAG meets AspectAG: how to make attribute grammars first-class. LDTA (2012)
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
Typed Transformations of Typed Grammars: The Left Corner Transform. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
Typed transformations of typed abstract syntax. TLDI (2009)
Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP (2009)
Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. Haskell (2008)
Marcos Viera, Alberto Pardo
A multi-stage language with intensional analysis. GPCE (2006)

Marcos Viera.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcos Viera