Re: dual-language systems increase modularity

[Peter Seibel <address@hidden>]

Shriram Krishnamurthi <sk@cs.brown.edu> writes:

> If you want to learn the technical details behind some of the above
> issues, you could look at Benjamin Pierce's recent book on type
> systems.  Even that, however, will not fully expose you to all the
> tradeoffs, but it will be a start.

Is that _Types and Programming Languages_?

-Peter

P.S. I hope so, because I just bought it this weekend. ;-)

-- 
Peter Seibel                                      peter@javamonkey.com

         Lisp is the red pill. -- John Fraser, comp.lang.lisp