Boehm's Type Inference Algorithm

sxc@itd.dsto.oz.au (Stephen Crawley)
3 Jul 91 18:27:58 GMT

          From comp.compilers
Related articles
Boehm's Type Inference Algorithm sxc@itd.dsto.oz.au (1991-07-03)
| List of all articles for this month |
Newsgroups: comp.lang.functional,comp.compilers
From: sxc@itd.dsto.oz.au (Stephen Crawley)
Keywords: logic, types
Organization: Compilers Central
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)


-- Steve


email: sxc@itd.dsto.oz.au
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.