A study in higher-order programming languages. Master 's thesis (1997)

by Morten Rhiger