More on modules...

Jun 30, 2009 21:25

Gilad Bracha writes about a ban on imports, which of course, is not about free trade, but module systems in programming languages. This is pleasantly well timed, since I've been rambling about it a bit lately in Controlling recursion and type systems... and Databases, Hardware Description, and Module Systems(with a dash of the Simply Typed Lambda Calculus).

ml, lambda calculus, type systems, mlp

Previous post Next post
Up