TinkerType

MaRDI QIDQ14421swMATHFDO

Official website http://www.cis.upenn.edu/~bcpierce/papers/tt-jfp.pdf

Described by source

• TinkerType: a language for playing with formal systems

Cited in

(4)

• Implicit propagation in structural operational semantics
• Types for Proofs and Programs
• Ott: Effective tool support for the working semanticist
• A Rewriting Logic Approach to Type Inference

This page was built for software: TinkerType