simple-lambda-calculus-with-refinement-types
Java
★ 1
updated 9y ago
A simple lambda calculus extension for refinement types
No plain-English explanation yet — one is being written right now. Check back in a minute.