Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 253 results
Sort by: relevance publication year
Showing results for ISSN matching 1388-3690

Linearity and iterator types for Gödel’s System

JOURNAL ARTICLE published March 2010 in Higher-Order and Symbolic Computation

Authors: Sandra Alves | Maribel Fernández | Mário Florido | Ian Mackie

https://doi.org/10.1007/s10990-010-9060-x Actions

JOURNAL ARTICLE published 2000 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Carolyn Talcott

https://doi.org/10.1023/a:1010022412197 Actions

JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation

Authors: Masahito Hasegawa | Yoshihiko Kakutani

https://doi.org/10.1023/a:1020895213317 Actions

JOURNAL ARTICLE published 1999 in Higher Order Symbolic Computation

Authors: Sandrine Chirokoff | Charles Consel | Renaud Marlet

https://doi.org/10.1023/a:1010035401770 Actions

Program Adaptation via Output-Constraint Specialization

JOURNAL ARTICLE published March 2004 in Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation)

Authors: Siau-Cheng Khoo | Kun Shi

https://doi.org/10.1023/b:lisp.0000029449.57959.bd Actions

Imperative-program transformation by instrumented-interpreter specialization

JOURNAL ARTICLE published June 2008 in Higher-Order and Symbolic Computation

Authors: Søren Debois

https://doi.org/10.1007/s10990-008-9027-3 Actions

Static consistency checking for Verilog wire interconnects

JOURNAL ARTICLE published June 2011 in Higher-Order and Symbolic Computation

Authors: Cherif Salama | Gregory Malecha | Walid Taha | Jim Grundy | John O’Leary

https://doi.org/10.1007/s10990-011-9072-1 Actions

Hume box calculus: robust system development through software transformation

JOURNAL ARTICLE published June 2010 in Higher-Order and Symbolic Computation

Authors: Gudmund Grov | Greg Michaelson

https://doi.org/10.1007/s10990-011-9067-y Actions

JOURNAL ARTICLE published 1998 in Higher-Order and Symbolic Computation

Authors: Bob Kessler | Carolyn Talcott

https://doi.org/10.1023/a:1010032817863 Actions

JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Amr Sabry

https://doi.org/10.1023/a:1020834727430 Actions

A Variadic Extension of Curry's Fixed-Point Combinator

JOURNAL ARTICLE published December 2005 in Higher-Order and Symbolic Computation

Authors: Mayer Goldberg

https://doi.org/10.1007/s10990-005-4881-8 Actions

JOURNAL ARTICLE published 1999 in Higher Order Symbolic Computation

Authors: Olivier Danvy | Carolyn Talcott

https://doi.org/10.1023/a:1010025114115 Actions

Automatic Generation of Staged Geometric Predicates

JOURNAL ARTICLE published December 2003 in Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation)

Authors: Aleksandar Nanevski | Guy Blelloch | Robert Harper

https://doi.org/10.1023/a:1025876920522 Actions

JOURNAL ARTICLE published 2001 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Julia L. Lawall

https://doi.org/10.1023/a:1012905312544 Actions

A functional approach to generic programming using adaptive traversals

JOURNAL ARTICLE published November 2010 in Higher-Order and Symbolic Computation

Authors: Bryan Chadwick | Karl Lieberherr

https://doi.org/10.1007/s10990-011-9064-1 Actions

Editorial

JOURNAL ARTICLE published June 2009 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Carolyn L. Talcott

https://doi.org/10.1007/s10990-009-9045-9 Actions

About permutation algebras, (pre)sheaves and named sets

JOURNAL ARTICLE published September 2006 in Higher-Order and Symbolic Computation

Authors: Fabio Gadducci | Marino Miculan | Ugo Montanari

https://doi.org/10.1007/s10990-006-8749-3 Actions

Calculations

JOURNAL ARTICLE published December 2009 in Higher-Order and Symbolic Computation

Authors: Peter J. Landin

https://doi.org/10.1007/s10990-010-9059-3 Actions

JOURNAL ARTICLE published 2003 in Higher-Order and Symbolic Computation

Authors: Inge Li Gørtz | Signe Reuss | Morten Heine Sørensen

https://doi.org/10.1023/a:1025693307470 Actions

JOURNAL ARTICLE published 2003 in Higher-Order and Symbolic Computation

Authors: Thomas W. Reps | Louis B. Rall

https://doi.org/10.1023/a:1023024221391 Actions
Feedback: support@crossref.org