Structural refinement types.

David Binder, Ingo Skupin, David Lwen, Klaus Ostermann

Browse the full ICFP paper archive.