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

JOURNAL ARTICLE published 2000 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Carolyn Talcott

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

Types and trace effects for object orientation

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

Authors: Christian Skalka

https://doi.org/10.1007/s10990-008-9032-6 Actions

JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation

Authors: Scott F. Smith | Carolyn L. Talcott

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

Formal compiler construction in a logical framework

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

Authors: Jason Hickey | Aleksey Nogin

https://doi.org/10.1007/s10990-006-8746-6 Actions

Structural types for systems of equations

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

Authors: John Capper | Henrik Nilsson

https://doi.org/10.1007/s10990-013-9099-6 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

JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation

Authors: Akihiko Tozawa | Masami Hagiya

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

A proof-theoretic foundation of abortive continuations

JOURNAL ARTICLE published 20 November 2007 in Higher-Order and Symbolic Computation

Authors: Zena M. Ariola | Hugo Herbelin | Amr Sabry

https://doi.org/10.1007/s10990-007-9007-z 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

Getting rid of labels

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

Authors: P. J. Landin

https://doi.org/10.1007/s10990-010-9057-5 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

JOURNAL ARTICLE published 2001 in Higher-Order and Symbolic Computation

Authors: Luc Moreau

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

JOURNAL ARTICLE published 2000 in Higher-Order and Symbolic Computation

Authors: C.A.R. Hoare

https://doi.org/10.1023/a:1010053724918 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

JOURNAL ARTICLE published 1998 in Higher Order Symbolic Computation

Authors: Gerald Jay Sussman | Guy L. Steele Jr.

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

JOURNAL ARTICLE published 2003 in Higher-Order and Symbolic Computation

Authors: Jonathan Ford | Ian A. Mason

https://doi.org/10.1023/a:1025689206562 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
Feedback: support@crossref.org