Amanote Research
Register
Sign In
Towards a Mechanized Metatheory of Standard ML
doi 10.1145/1190216.1190245
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
Daniel K. Lee
Karl Crary
Robert Harper
Publisher
ACM Press
Related search
Mechanized Metatheory Revisited
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Standard ML Compiler
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Critique of Standard ML
Journal of Functional Programming
Software
A Type-Theoretic Interpretation of Standard ML
Implementing Visualization of Term Rewriting Computation in Standard ML
IEEJ Transactions on Electronics, Information and Systems
Electronic Engineering
Electrical
Towards a Better Gold Standard
Towards Interactive Curation & Automatic Tuning of ML Pipelines
Towards a Karst Assessment Standard Practice
Computational Metatheory in Nuprl
