TinkerType

swMATH1773MaRDI QIDQ14421FDOQ14421

Author name not available (Why is that?)

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