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
|