Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave

Karina Olmos, Eelco Visser. Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. In 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands. pages 141-150, IEEE Computer Society, 2003. [doi]

@inproceedings{OlmosV03,
  title = {Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for {Octave}},
  author = {Karina Olmos and Eelco Visser},
  year = {2003},
  doi = {https://doi.org/10.1109/SCAM.2003.1238040},
  tags = {programming languages, type inference, dynamic typing, interpreter, Stratego/XT, transformation language, Octave, language design, type system, type checking, transformation system, compiler, higher-order transformations, program specialization, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/OlmosV03},
  cites = {0},
  citedby = {0},
  pages = {141-150},
  booktitle = {3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2005-7},
}