Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus

As of May 2026, all Simula affiliated publications are now stored in The Norwegian Research Information Repository (NVA).

See this publication on NVA