|Boehm's Type Inference Algorithm email@example.com (1991-07-03)|
|From:||firstname.lastname@example.org (Stephen Crawley)|
|Date:||3 Jul 91 18:27:58 GMT|
Is there anyone on the net who has used the type inference algorithm
described by H. J. Boehm in his paper "Type Inference in the Presence
of Type Abstraction" in the SIGPLAN '89 Conference on Programming
Language Design and Implementation?
Alternatively, does anyone have an email address for the author?
(He was at Rice University at the time the paper was written)
Return to the
Search the comp.compilers archives again.