Marcos Viera

According to our database1, Marcos Viera authored at least 28 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A Case of Teaching Practice Founded on a Theoretical Model.
Proceedings of the Informatics in Schools. Engaging Learners in Computational Thinking, 2020

2019
Memoized zipper-based attribute grammars and their higher order extension.
Sci. Comput. Program., 2019

Structure verification of deep neural networks at compilation time using dependent types.
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

Experimenting with Functional Features of the Object Constraint Language.
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

2018
An Internalist Approach to Correct-by-Construction Compilers.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

A Staged Embedding of Attribute Grammars in Haskell.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

Model-Driven Development of an Interpreter for the Object Constraint Language.
Proceedings of the XLIV Latin American Computer Conference, 2018

MateFun: Functional Programming and Math with Adolescents.
Proceedings of the XLIV Latin American Computer Conference, 2018

2017
Extensible records in Idris.
Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

2016
Memoized Zipper-Based Attribute Grammars.
Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

On the Functional Interpretation of OCL.
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.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015
Compositional compiler construction: Oberon0.
Sci. Comput. Program., 2015

Model-Driven Engineering Based on Attribute Grammars.
Proceedings of the Programming Languages, 2015

Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm.
Proceedings of the 2015 International Symposium on Computer Architecture and High Performance Computing Workshops, 2015

2014
Attribute grammar macros.
Sci. Comput. Program., 2014

Expand: Towards an Extensible Pandoc System.
Proceedings of the Practical Aspects of Declarative Languages, 2014

2013
First Class Syntax, Semantics and Their Composition.
PhD thesis, 2013

Just do it while compiling!: fast extensible records in haskell.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

First Class Syntax, Semantics, and Their Composition.
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Towards a functional run-time for dense NLA domain.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012
UUAG meets AspectAG: how to make attribute grammars first-class.
Proceedings of the International Workshop on Language Descriptions, 2012

Grammar fragments fly first-class.
Proceedings of the International Workshop on Language Descriptions, 2012

2010
Typed Transformations of Typed Grammars: The Left Corner Transform.
Electron. Notes Theor. Comput. Sci., 2010

2009
Typed transformations of typed abstract syntax.
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.
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.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2006
A multi-stage language with intensional analysis.
Proceedings of the Generative Programming and Component Engineering, 2006


  Loading...