Staging beyond terms: prospects and challenges
暂无分享,去创建一个
[1] Claudio V. Russo,et al. F-ing modules , 2010, TLDI '10.
[2] Jack J. Dongarra,et al. Automatically Tuned Linear Algebra Software , 1998, Proceedings of the IEEE/ACM SC98 Conference.
[3] John C. Mitchell,et al. Abstract types have existential type , 1988, TOPL.
[4] Simon L. Peyton Jones,et al. Template meta-programming for Haskell , 2002, Haskell '02.
[5] Andreas Rossberg. 1ML – core and modules united (F-ing first-class modules) , 2015, ICFP.
[6] Franz Franchetti,et al. SPIRAL: Code Generation for DSP Transforms , 2005, Proceedings of the IEEE.
[7] Walid Taha,et al. Environment classifiers , 2003, POPL.
[8] Walid Taha,et al. Concoqtion: indexed types now! , 2007, PEPM '07.
[9] Walid Taha,et al. A methodology for generating verified combinatorial circuits , 2004, EMSOFT '04.
[10] Stephen Weeks,et al. Whole-program compilation in MLton , 2006, ML '06.
[11] Martin Odersky,et al. Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs , 2010, GPCE '10.
[12] Walid Taha,et al. Staged Notational Definitions , 2003, GPCE.
[13] Per Martin-Löf,et al. Intuitionistic type theory , 1984, Studies in proof theory.
[14] Peter Morris,et al. The gentle art of levitation , 2010, ICFP '10.
[15] Kunle Olukotun,et al. Optimizing data structures in high-level programs: new directions for extensible compilers based on staging , 2013, POPL.
[16] Chung-chieh Shan,et al. Combinators for impure yet hygienic code generation , 2014, PEPM '14.
[17] Jim Grundy,et al. Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability , 2008, PEPM '08.
[18] Hongwei Xi,et al. Applied Type System: Extended Abstract , 2003, TYPES.
[19] Walid Taha,et al. Reasoning about multi-stage programs* , 2016, Journal of Functional Programming.
[20] Eelco Visser,et al. Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , 2007 .