Amanote Research
Register
Sign In
A Type-Theoretic Interpretation of Standard ML
doi 10.7551/mitpress/5641.003.0019
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2000
Authors
Unknown
Publisher
The MIT Press
Related search
A Standard ML Compiler
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Critique of Standard ML
Journal of Functional Programming
Software
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions
Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
Neural Complexity: A Graph Theoretic Interpretation
Physical Review E
Towards a Mechanized Metatheory of Standard ML
The Information Theoretic Interpretation of the Length of a Curve
Journal of High Energy Physics
High Energy Physics
Nuclear
A Standard of Interpretation of Numerical Grades
The School Review
System-Theoretic Interpretation of the Mode Sensing Hypothesis
Implementing Visualization of Term Rewriting Computation in Standard ML
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
