Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Karl Crary
Towards a Mechanized Metatheory of Standard ML
Related publications
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
