High. Order Symb. Comput.

Keyphrases

Publications

volume 26, number 1-4, 2013

volume 25, number 1, 2012

Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. 25 (1) (2012)
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi
Functional programs as compressed data. High. Order Symb. Comput. 25 (1) (2012)
Isao Sasano, Takumi Goto
An approach to completing variable names for implicitly typed functional languages. High. Order Symb. Comput. 25 (1) (2012)
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Polynomial-time inverse computation for accumulative functions with multiple data traversals. High. Order Symb. Comput. 25 (1) (2012)
Oleg Kiselyov, Julia Lawall, Simon J. Thompson
Editorial PEPM2012. High. Order Symb. Comput. 25 (1) (2012)
Markus Degen, Peter Thiemann, Stefan Wehr
The interaction of contracts and laziness. High. Order Symb. Comput. 25 (1) (2012)

volume 25, number 2-4, 2012

volume 24, number 1-2, 2011

Robert J. Simmons, Frank Pfenning
Logical approximation for program analysis. High. Order Symb. Comput. 24 (1-2) (2011)
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. High. Order Symb. Comput. 24 (1-2) (2011)
Julia Lawall, Germán Puebla, Germán Vidal
Editorial. High. Order Symb. Comput. 24 (1-2) (2011)
Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo
Side-effect localization for lazy, purely functional languages via aspects. High. Order Symb. Comput. 24 (1-2) (2011)
Nabil El Boustani, Jurriaan Hage
Improving type error messages for generic Java. High. Order Symb. Comput. 24 (1-2) (2011)
Alberto Pardo, João Paulo Fernandes, João Saraiva
Shortcut fusion rules for the derivation of circular and higher-order programs. High. Order Symb. Comput. 24 (1-2) (2011)

volume 24, number 3, 2011

volume 24, number 4, 2011

volume 23, number 1, 2010

Fausto Spoto, Étienne Payet
Magic-sets for localised analysis of Java bytecode. High. Order Symb. Comput. 23 (1) (2010)
Axel Simon, Andy King
The two variable per inequality abstract domain. High. Order Symb. Comput. 23 (1) (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23 (1) (2010)

volume 23, number 2, 2010

volume 23, number 3, 2010

volume 23, number 4, 2010

volume 22, number 4, 2009