Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 25

> Home > Journals > Higher-Order and Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 25, Number 1, March 2012

PEPM 2012

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/KiselyovLT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KiselyovLT12
Oleg Kiselyov, Julia Lawall, Simon J. Thompson:
Editorial PEPM2012. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/MatsudaIN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/MatsudaIN12
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano:
Polynomial-time inverse computation for accumulative functions with multiple data traversals. 3-38
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/0001MSY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/0001MSY12
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi:
Functional programs as compressed data. 39-84
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DegenTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DegenTW12
Markus Degen, Peter Thiemann, Stefan Wehr:
The interaction of contracts and laziness. 85-125
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SasanoG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/SasanoG12
Isao Sasano, Takumi Goto:
An approach to completing variable names for implicitly typed functional languages. 127-163
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/RompfAMHO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/RompfAMHO12
Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky:
Scala-Virtualized: linguistic reuse for deep embeddings. 165-207

Volume 25, Numbers 2-4, December 2012

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/KleinFF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KleinFF12
Casey Klein, Matthew Flatt, Robert Bruce Findler:
The Racket virtual machine and randomized testing. 209-253
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GillBFKK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GillBFKK12
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp:
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. 255-274
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/CapperN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/CapperN12
John Capper, Henrik Nilsson:
Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations. 275-310

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.