metaocaml/metaocaml-bibliography

Name: metaocaml-bibliography

Owner: MetaOCaml GitHub Community

Description: MetaML and MetaOCaml bibliography

Created: 2015-10-23 00:05:03.0

Updated: 2018-04-19 12:31:50.0

Pushed: 2018-03-07 07:07:10.0

Homepage: null

Size: 21

Language: null

GitHub Committers

User	Most Recent Commit	# Commits

Other Committers

User	Email	Most Recent Commit	# Commits

README

MetaML and MetaOCaml bibliography

Currently very incomplete. Pull requests welcome! Note: end a line with two spaces to force a line break.

2018

• Program Generation for ML Modules (short paper) (PEPM 2018)
  (paper)
  by Takahisa Watanabe and Yukiyoshi Kameyama

• Partially static data as free extension of algebras (short paper) (PEPM 2018)
  (paper)
  by Jeremy Yallop, Tamara von Glehn and Ohad Kammar

2017

• Staged generic programming (ICFP 2017)
  (paper)
  by Jeremy Yallop

• Refining Semantics for Multi-Stage Programming (GPCE 2017)
  (paper)
  by Rui Ge and Ronald Garcia

• Stream Fusion, to Completeness (POPL 2017)
  (paper)
  by Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos and Yannis Smaragdakis

2016

• Reasoning about multi-stage programs (JFP 2016)
  by Jun Inoue and Walid Taha

• Staging Beyond Terms: Prospects and Challenges (PEPM 2016)
  (paper)
  by Jun Inoue, Oleg Kiselyov and Yukiyoshi Kameyama

• Automatic Staging via Partial Evaluation Techniques (SCSS 2016)
  (paper)
  by Kenichi Asai and Yukiyoshi Kameyama

• Toward Introducing Binding-Time Analysis to MetaOCaml (PEPM 2016)
  (paper)
  by Kenichi Asai

• Generic partially-static data (TyDe 2016)
  (extended abstract)
  by David Kaloper-Mer?injak and Jeremy Yallop

• Staging generic programming (PEPM 2016)
  (paper)
  by Jeremy Yallop

2014

• The design and implementation of MetaOCaml (FLOPS 2014)
  (paper)
  by Oleg Kiselyov

• Compiling a Reflective Language using MetaOCaml (GPCE 2014)
  by Kenichi Asai

• Supercompiling with Staging (META 2014)
  (paper)
  by Jun Inoue

• Modular macros (OCaml 2015)
  (extended abstract)
  by Jeremy Yallop and Leo White

2013

• Shonan Challenge for Generative Programming (PEPM 2013)
  (paper)
  by Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan

2012

• Reasoning about Multi-Stage Programs (ESOP 2012)
  (paper)
  by Jun Inoue and Walid Taha

2011

• Generative Geometric Kernel (PEPM 2011)
  (paper)
  by Jacques Carette, Mustafa Elsheikh and Spencer Smith

• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (GPCE 2005, SCP 2011)
  (GPCE 2005 paper) (SCP 2011 paper)
  by Jacques Carette and Oleg Kiselyov

• Shifting the Stage: staging with delimited control (JFP 2011)
  (paper)
  by Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan

2010

• Multi-Stage Programming for High-Level Description of Circuit Families (CISP 2010)
  by Fulong Chen, Walid Taha and Lei Deng

2009

• Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages (JFP 19(5), 2009)
  (paper)
  by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan

2007

• A Gentle Introduction to Multi-stage Programming, Part II (GTTSE 2007)
  (paper)
  by Walid Taha

2006

• Gaussian Elimination: a case study in efficient genericity with MetaOCaml (SCP 2006)
  (paper)
  by Jacques Carette

• A Monadic Approach for Avoiding Code Duplication (PEPM 2006)
  (paper)
  by Kedar Swadi, Walid Taha, Oleg Kiselyov and Emir Pasalic

2005

• Implicitly Heterogeneous Multi-Stage Programming (GPCE 2005)
  (extended)
  by Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi and Walid Taha

2004

• Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (TACAS 2004)
  by Nathan Linger and Tim Sheard

• DSL Implementation in MetaOCaml, Template Haskell, and C++ (DSPG 2004)
  (paper)
  by Krzysztof Czarnecki, John O?Donnell, Jörg Striegnitz and Walid Taha

• A Gentle Introduction to Multi-stage Programming (DSPG 2004)
  (paper)
  by Walid Taha

• A Methodology for Generating Verified Combinatorial Circuits (EMSOFT 2004)
  (paper)
  by Oleg Kiselyov, Kedar N. Swadi and Walid Taha

• ML-like Inference for Classifiers (ESOP 2004)
  (paper)
  by Cristiano Calcagno, Eugenio Moggi and Walid Taha

2003

• Closed Types for a Safe Imperative MetaML (JFP 2003)
  (paper)
  by Cristiano Calcagno, Eugenio Moggi and Tim Sheard

• Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection (GPCE 2003)
  (paper)
  by Cristiano Calcagno, Walid Taha, Liwen Huang and Xavier Leroy

• Staged Notational Definitions (GPCE 2003)
  (paper)
  by Walid Taha and Patricia Johann

• Environment Classifiers (POPL 2003)
  (paper)
  by Walid Taha and Michael Florentin Nielsen

2002

• Tagless Staged Interpreters for Typed Languages (ICFP 2002)
  (paper)
  by Emir Pasalic, Walid Taha and Tim Sheard

2001

• Accomplishments and Research Challenges in Meta-prgoramming (SAIG 2001)
  (paper)
  by Tim Sheard

• Dynamically Adaptable Software with Metacomputations in a Staged Language (SAIG 2001)
  (paper)
  by William L. Harrison and Tim Sheard

• Macros as Multi-Stage Computations (ICFP 2001)
  (paper)
  by Steven E. Ganz, Amr Sabry and Walid Taha

2000

• Multi-Stage Programming with Explicit Annotations (PEPM 1997, TCS 2000)
  (PEPM 1997 paper)
  (TCS 2000) by Walid Taha and Tim Sheard

• Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming (ICALP 2000)
  (paper)
  by Cristiano Calcagno, Eugenio Moggi and Walid Taha

• Sound Reductions for Untyped CBN MetaML (PEPM 2000)
  (paper) by Walid Taha

1999

• DSL Implementation Using Staging and Monads (DSL 1999)
  (paper)
  by Tim Sheard, Zine-el-abidine Benaissa and Pasalic, Emir

• Logical Modalities and Multi-Stage Programming (IMLA 1999)
  (paper)
  by Zine-El-Abidine Benaissa, Eugenio Moggi, Walid Taha and Tim Sheard

• Idealized MetaML: Simpler, and More Expressive (ESOP 1999)
  (paper)
  by Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa and Tim Sheard

1998

• Using MetaML: A Staged Programming Language (Advanced Functional Prog ramming 1998)
  (paper)
  by Tim Sheard

• Multi-Stage Programming: Axiomatization and Type-Safety (ICALP 1998)
  (paper)
  by Walid Taha, Zine-El-Abidine Benaissa and Tim Sheard

1997

• Multi-Stage Programming (poster at ICFP 1997)
  by Walid Taha and Tim Sheard

Status of links at last commit: