default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcos Viera
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]José Nuno Macedo
, Emanuel Rodrigues, Marcos Viera, João Saraiva:
Zipper-based embedding of strategic attribute grammars. J. Syst. Softw. 211: 111975 (2024)- [c31]Emanuel Rodrigues, José Nuno Macedo, Marcos Viera, João Saraiva:
pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python. ENASE 2024: 615-624 - [c30]Marcos Viera, Alberto Pardo, João Saraiva:
Tabulation with Zippers. FLOPS 2024: 83-98 - 2023
- [c29]José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva:
Efficient Embedding of Strategic Attribute Grammars via Memoization. PEPM@POPL 2023: 41-54 - 2022
- [j5]Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera:
A gradual type system for Elixir. J. Comput. Lang. 68: 101077 (2022) - [c28]José Nuno Macedo, Marcos Viera, João Saraiva:
Zipping Strategies and Attribute Grammars. FLOPS 2022: 112-132 - 2021
- [j4]Leonardo Piñeyro, Alberto Pardo, Marcos Viera:
Structure verification of deep neural networks at compilation time. J. Comput. Lang. 67: 101074 (2021) - [i3]Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera:
A Gradual Type System for Elixir. CoRR abs/2104.08366 (2021) - [i2]José Nuno Macedo, Marcos Viera, João Saraiva:
Zipping Strategies and Attribute Grammars. CoRR abs/2110.07902 (2021) - 2020
- [c27]Sylvia da Rosa, Marcos Viera, Juan García-Garland:
A Case of Teaching Practice Founded on a Theoretical Model. ISSEP 2020: 146-157 - [c26]Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera:
A Gradual Type System for Elixir. SBLP 2020: 17-24
2010 – 2019
- 2019
- [j3]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: 71-94 (2019) - [c25]Juan García-Garland, Alberto Pardo, Marcos Viera:
Attribute grammars fly first-class... safer!: dealing with DSL errors in type-level programming. IFL 2019: 10:1-10:12 - [c24]Daniel Calegari, Marcos Viera:
Experimenting with Functional Features of the Object Constraint Language. OCL@MoDELS 2019: 31-44 - [c23]Leonardo Piñeyro, Alberto Pardo, Marcos Viera:
Structure verification of deep neural networks at compilation time using dependent types. SBLP 2019: 46-53 - 2018
- [c22]Gonzalo Sintas, Leticia Vaz Lutz, Daniel Calegari, Marcos Viera:
Model-Driven Development of an Interpreter for the Object Constraint Language. CLEI 2018: 120-128 - [c21]Alejandra Carboni, Víctor Koleszar, Gonzalo Tejera, Marcos Viera, Javier Wagner:
MateFun: Functional Programming and Math with Adolescents. CLEI 2018: 849-858 - [c20]Marcos Viera, Florent Balestrieri, Alberto Pardo:
A Staged Embedding of Attribute Grammars in Haskell. IFL 2018: 95-106 - [c19]Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera:
An Internalist Approach to Correct-by-Construction Compilers. PPDP 2018: 17:1-17:12 - 2017
- [c18]Gonzalo Waszczuk, Alberto Pardo, Marcos Viera:
Extensible records in Idris. SBLP 2017: 5:1-5:8 - 2016
- [c17]S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra:
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. IFL 2016: 7:1-7:12 - [c16]Daniel Calegari, Marcos Viera:
On the Functional Interpretation of OCL. OCL@MoDELS 2016: 33-48 - [c15]João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera:
Memoized Zipper-Based Attribute Grammars. SBLP 2016: 46-61 - [i1]S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra:
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. CoRR abs/1612.04610 (2016) - 2015
- [j2]Marcos Viera, S. Doaitse Swierstra:
Compositional compiler construction: Oberon0. Sci. Comput. Program. 114: 45-56 (2015) - [c14]Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera:
Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm. SBAC-PAD (Workshops) 2015: 73-78 - [c13]Daniel Calegari, Marcos Viera:
Model-Driven Engineering Based on Attribute Grammars. SBLP 2015: 112-127 - 2014
- [j1]Marcos Viera, S. Doaitse Swierstra:
Attribute grammar macros. Sci. Comput. Program. 96: 211-229 (2014) - [c12]Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera:
Expand: Towards an Extensible Pandoc System. PADL 2014: 200-215 - 2013
- [b1]Marcos Viera:
First Class Syntax, Semantics and Their Composition. Utrecht University, Netherlands, 2013 - [c11]Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera:
Towards a functional run-time for dense NLA domain. FHPC@ICFP 2013: 85-96 - [c10]Marcos Viera, S. Doaitse Swierstra:
First Class Syntax, Semantics, and Their Composition. IFL 2013: 73 - [c9]Bruno Martinez, Marcos Viera, Alberto Pardo:
Just do it while compiling!: fast extensible records in haskell. PEPM 2013: 77-86 - 2012
- [c8]Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra:
Grammar fragments fly first-class. LDTA 2012: 5 - [c7]Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop:
UUAG meets AspectAG: how to make attribute grammars first-class. LDTA 2012: 6 - [c6]Marcos Viera, S. Doaitse Swierstra:
Attribute Grammar Macros. SBLP 2012: 150-164
2000 – 2009
- 2009
- [c5]Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra:
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP 2009: 245-256 - [c4]Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera:
Typed transformations of typed abstract syntax. TLDI 2009: 15-26 - [c3]Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera:
Typed Transformations of Typed Grammars: The Left Corner Transform. LDTA 2009: 51-64 - 2008
- [c2]Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink:
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. Haskell 2008: 63-74 - 2006
- [c1]Marcos Viera, Alberto Pardo:
A multi-stage language with intensional analysis. GPCE 2006: 11-20
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
