A region-based abstract machine for the ML Kit (2002)

by M Elsman, N Hallenberg