TinkerType: a language for playing with formal systems
From MaRDI portal
Publication:4457834
DOI10.1017/S0956796802004550zbMath1062.68039OpenAlexW2132837945MaRDI QIDQ4457834
Benjamin C. Pierce, Michael Y. Levin
Publication date: 17 March 2004
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796802004550
Related Items
A Rewriting Logic Approach to Type Inference, Ott: Effective tool support for the working semanticist, Implicit Propagation in Structural Operational Semantics, TinkerType
Uses Software