default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 24

> 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 24, Numbers 1-2, June 2011

Partial Evaluation and Program Manipulation

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/LawallPV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LawallPV11
Julia Lawall, Germán Puebla, Germán Vidal:
Editorial. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/BoustaniH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BoustaniH11
Nabil El Boustani, Jurriaan Hage:
Improving type error messages for generic Java. 3-39
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SimmonsP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/SimmonsP11
Robert J. Simmons, Frank Pfenning:
Logical approximation for program analysis. 41-80
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/SalamaMTGO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/SalamaMTGO11
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. 81-114
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/PardoFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/PardoFS11
Alberto Pardo, João Paulo Fernandes, João Saraiva:
Shortcut fusion rules for the derivation of circular and higher-order programs. 115-149
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ChenWLWK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/ChenWLWK11
Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo:
Side-effect localization for lazy, purely functional languages via aspects. 151-189

Volume 24, Number 3, September 2011

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/NiquiR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/NiquiR11
Milad Niqui, Jan J. M. M. Rutten:
A proof of Moessner's theorem by coinduction. 191-206
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GarrigueN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GarrigueN11
Jacques Garrigue, Keiko Nakata:
Path resolution for nested recursive modules. 207-237
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/KerneisC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KerneisC11
Gabriel Kerneis, Juliusz Chroboczek:
Continuation-Passing C, compiling threads to events through continuations. 239-279

Volume 24, Number 4, November 2011

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/IwasakiMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/IwasakiMT11
Hideya Iwasaki, Takeshi Morimoto, Yasunao Takano:
Pruning with improving sequences in lazy functional programs. 281-309
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/AsaiKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/AsaiKS11
Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan:
Functional un|unparsing. 311-340
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LiuSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LiuSS11
Yu David Liu, Christian Skalka, Scott F. Smith:
Type-specialized staged programming with process separation. 341-385
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/KerneisC11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/KerneisC11a
Gabriel Kerneis, Juliusz Chroboczek:
Erratum to: Continuation-Passing C, compiling threads to events through continuations. 387

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.