Marcos Viera - RankMe

42 papers A 1B 3C 6Misc 2Journal 9Unranked 20

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