Volume 25, Issue 1

Higher-Order and Symbolic Computation is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Higher-Order and Symbolic Computation articles

March 2012

PEPM 2012

6 articles in this issue

Editorial PEPM2012
Oleg Kiselyov
Julia Lawall
Simon Thompson
EditorialNotes 23 August 2013 Pages: 1 - 2
Polynomial-time inverse computation for accumulative functions with multiple data traversals
Kazutaka Matsuda
Kazuhiro Inaba
Keisuke Nakano
OriginalPaper Open access 25 September 2013 Pages: 3 - 38
Functional programs as compressed data
Naoki Kobayashi
Kazutaka Matsuda
Kazuya Yaguchi
OriginalPaper 14 August 2013 Pages: 39 - 84
The interaction of contracts and laziness
Markus Degen
Peter Thiemann
Stefan Wehr
OriginalPaper 14 August 2013 Pages: 85 - 125
An approach to completing variable names for implicitly typed functional languages
Isao Sasano
Takumi Goto
OriginalPaper 16 August 2013 Pages: 127 - 163
Scala-Virtualized: linguistic reuse for deep embeddings
Tiark Rompf
Nada Amin
Martin Odersky
OriginalPaper 20 September 2013 Pages: 165 - 207

Volume 25, Issue 1

Editorial PEPM2012

Polynomial-time inverse computation for accumulative functions with multiple data traversals

Functional programs as compressed data

The interaction of contracts and laziness

An approach to completing variable names for implicitly typed functional languages

Scala-Virtualized: linguistic reuse for deep embeddings

Search

Navigation