Torben Æ. Mogensen1
Keywords Program analysis - storage management - functional programming - types - constraints
References secured to subscribers.