152 followers
Finished reading: Robert Harper, Robin Milner and Mads Tofte. A type discipline for program modules. TAPSOFT 1987. https://t.co/TGZ7O40InC
Finished reading: Robert Harper, Robin Milner and Mads Tofte. A type discipline for program modules. TAPSOFT 1987. https://t.co/TGZ7O40InC