VeriML: typed computation of logical terms inside a language with effects.

Antonis Stampoulis, Zhong Shao

Browse the full ICFP paper archive.