Medic: Metaprogramming and Trace-Oriented Debugging Xiangqi Li Matthew Flatt University of Utah, USA

Source URL: www.cs.utah.edu

Toward AI for Lean, via metaprogramming Robert Y. Lewis Vrije Universiteit Amsterdam March 28, 2018

Source URL: cl-informatik.uibk.ac.at

EASY MetaProgramming with Rascal Paul Klint, Jurgen Vinju, Tijs van der Storm Centrum Wiskunde & Informatica and University of Amsterdam Abstract. Rascal is a new language for meta-programming and is

Source URL: homepages.cwi.nl

AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming Chris Seaton Oracle Labs

Source URL: chrisseaton.com

Test your tests with R metaprogramming Tom Taverner, Chris Campbell Mango Solutions Two ideas for testing software

Source URL: www.londonr.org

Traits Deep operations Trait-based metaprogramming A foundation for trait-based metaprogramming Aaron Turon

Source URL: www.mpi-sws.org

Advances in Programming Languages APL19: Heterogeneous Metaprogramming in F# Ian Stark School of Informatics The University of Edinburgh

Source URL: www.inf.ed.ac.uk

Metaprogramming in Scala 2.10 Eugene Burmako EPFL, LAMP 28 Aprilupdated on 6 January 2013 forfinal)

Source URL: scalamacros.org

DSLs in Haskell Ryan Newton Back-end

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Data types
• Type theory
• Compilers
• Template Haskell
• Haskell
• Generalized algebraic data type
• Metaprogramming

Rethinking Scala Macros Work in progress, not available yet Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/

Source URL: scalamacros.org

• Software
• Computing
• Functional languages
• Object-oriented programming languages
• Macro
• Source code
• Concurrent programming languages
• Programming paradigms
• Palladium
• Scala
• Make
• Metaprogramming