Facet browsing currently unavailable
Page 1 of 253 results
Sort by: relevance publication year
Linearity and iterator types for Gödel’s System JOURNAL ARTICLE published March 2010 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 2000 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 1999 in Higher Order Symbolic Computation |
Program Adaptation via Output-Constraint Specialization JOURNAL ARTICLE published March 2004 in Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation) |
Imperative-program transformation by instrumented-interpreter specialization JOURNAL ARTICLE published June 2008 in Higher-Order and Symbolic Computation |
Static consistency checking for Verilog wire interconnects JOURNAL ARTICLE published June 2011 in Higher-Order and Symbolic Computation |
Hume box calculus: robust system development through software transformation JOURNAL ARTICLE published June 2010 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 1998 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation |
A Variadic Extension of Curry's Fixed-Point Combinator JOURNAL ARTICLE published December 2005 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 1999 in Higher Order Symbolic Computation |
Automatic Generation of Staged Geometric Predicates JOURNAL ARTICLE published December 2003 in Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation) |
JOURNAL ARTICLE published 2001 in Higher-Order and Symbolic Computation |
A functional approach to generic programming using adaptive traversals JOURNAL ARTICLE published November 2010 in Higher-Order and Symbolic Computation |
Editorial JOURNAL ARTICLE published June 2009 in Higher-Order and Symbolic Computation |
About permutation algebras, (pre)sheaves and named sets JOURNAL ARTICLE published September 2006 in Higher-Order and Symbolic Computation |
Calculations JOURNAL ARTICLE published December 2009 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 2003 in Higher-Order and Symbolic Computation |
JOURNAL ARTICLE published 2003 in Higher-Order and Symbolic Computation |