Template Metaprogramming for Haskell
暂无分享,去创建一个
[1] Kent M. Pitman,et al. Special forms in Lisp , 1980, LISP Conference.
[2] Matthias Felleisen,et al. Hygienic macro expansion , 1986, LFP '86.
[3] Jonathan Rees,et al. Macros that work , 1991, POPL '91.
[4] Robert Hieb,et al. Syntactic abstraction in scheme , 1992, LISP Symb. Comput..
[5] Noel Winstanley,et al. A type-sensitive preprocessor for haskell , 1997 .
[6] Walid Taha,et al. Multi-stage programming with explicit annotations , 1997 .
[7] Simon L. Peyton Jones,et al. Dynamic typing as staged type inference , 1998, POPL '98.
[8] Olivier Danvy. Functional Unparsing , 1998, J. Funct. Program..
[9] Alan Bawden,et al. First-class macros have types , 2000, POPL '00.
[10] Simon L. Peyton Jones,et al. Derivable Type Classes , 2001, Haskell.
[11] Andrei Alexandrescu,et al. Modern C++ Design , 2001 .
[12] Arch D. Robison,et al. Impact of economics on compiler optimization , 2001, JGI '01.
[13] Amr Sabry,et al. Macros as multi-stage computations: type-safe, generative, binding macros in MacroML , 2001, ICFP '01.
[14] Tim Sheard,et al. Accomplishments and Research Challenges in Meta-programming , 2001, SAIG.
[15] Walid Taha,et al. A Bytecode-Compiled, Type-safe, Multi-Stage Language , 2001 .
[16] Department of Information and Computing Sciences, , 2006 .