GitHub repository: jssandh2/pcf-redex
Primary language: Racket
Created: 2017-07-02T17:36:57Z
Description: An implementation of the Formal Semantics of the PCF Language including Type-Inference Rules, Reduction Semantics and Contract Semantics for Higher-Order Functions