Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Higher-Order and Symbolic Computation
Volumes and issues
Volume 3, Issue 4
Higher-Order and Symbolic Computation
Publishing model
:
Hybrid
Higher-Order and Symbolic Computation
is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Higher-Order and Symbolic Computation articles
Volume 3, Issue 4
November 1990
2 articles in this issue
A runtime system
Andrew W. Appel
OriginalPaper
Pages: 343 - 380
Conjunction-type standard ML polymorphism
R. Ghosh-Roy
OriginalPaper
Pages: 381 - 409
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research