Syntax & Sematics [was: Re: [Enough already] Re: Proposal3:

Andrew C. Greenberg werdna at gate.net
Wed Jun 7 01:32:52 UTC 2000


At 11:06 AM +1000 6/7/2000, Mike Thomas wrote:
>Hi all.
>
>Two days running I've had to dive for page 40 of Bird and Wadler's classic
>"Introduction to Functional Programming" to remind myself what "bijective"
>means!
>
>A canonical method of expressing algorithms regardless of source language
>would be of great interest in intellectual property law.

Depending upon the definition of your cannons, it would also be of 
great interest to recursive function theory.  :-)
-- 
Andrew C. Greenberg		acg at netwolves.com
V.P. Eng., R&D, 		813.885.2779 (office)
Netwolves Corporation		813.885.2380 (facsimile)
www.netwolves.com





More information about the Squeak-dev mailing list