Travelled to:1 × Estonia
1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:S.D.Swierstra A.Pardo J.Krijnen B.Martinez A.Dijkstra A.Middelkoop W.Swierstra A.I.Baars E.Lempsink Emmanuel Gunther M.Pagano
Talks about:grammar (4) first (4) class (4) haskel (3) do (3) transform (2) construct (2) attribut (2) extens (2) compil (2)
Person: Marcos Viera
DBLP: Viera:Marcos
Contributed to:
2014
2013
2013
2012
20092010
2006
2008
2018Wrote 10 papers:
- PADL-2014-KrijnenSV #named #towards
- Expand: Towards an Extensible Pandoc System (JK, SDS, MV), pp. 200–215.
- IFL-2013-VieraS #composition #semantics #syntax
- First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.
- PEPM-2013-MartinezVP #compilation #exclamation #haskell #performance
- Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
- LDTA-2012-VieraSD
- Grammar fragments fly first-class (MV, SDS, AD), p. 5.
- LDTA-2012-VieraSM #attribute grammar #how
- UUAG meets AspectAG: how to make attribute grammars first-class (MV, SDS, AM), p. 6.
- ICFP-2009-VieraSS #aspect-oriented #attribute grammar #haskell #how #programming
- Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.
- LDTA-2009-BaarsSV10
- Typed Transformations of Typed Grammars: The Left Corner Transform (AIB, SDS, MV), pp. 51–64.
- GPCE-2006-VieraP #analysis #multi
- A multi-stage language with intensional analysis (MV, AP), pp. 11–20.
- Haskell-2008-VieraSL #haskell #parsing #performance #runtime #top-down
- Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime (MV, SDS, EL), pp. 63–74.
- PPDP-2018-PardoGPV #approach #compilation
- An Internalist Approach to Correct-by-Construction Compilers (AP, EG, MP, MV), p. 12.