Simply Easy! An Implementation of a Dependently Typed Lambda Calculus (2007)

by Andres Löh, et al.
Citations:2 - 0 self