Typed Functional Programming for the Rapid Development of Reliable Software
Val Breazu-Tannen, O. Peter Buneman and Carl A. Gunter
ACM Productivity: Progress, Prospects and Payoff, pages 115-125, Gaithersburg, MD, June 1988.
Last updated on Sunday, June 1, 2014, 12:16 pm