Last call for participation:
MPC '98
Fourth International Conference on
MATHEMATICS OF PROGRAM CONSTRUCTION
---
http://www.md.chalmers.se/Conf/MPC98/
Does anyone know if Hindley-Milner type inference has been characterized in
a non-operational way? I mean either some sort of canonical correspondence
(as the simply typed lambda-calculus with intuitionistic natural deduction)
or some statement that describes it in terms of a universal property,
Frank A. Christoph <[EMAIL PROTECTED]> writes:
> Does anyone know if Hindley-Milner type inference has been characterized in
> a non-operational way? I mean either some sort of canonical correspondence
> (as the simply typed lambda-calculus with intuitionistic natural deduction)
> or some st
On 24 Apr, Frank A. Christoph wrote:
> Suggestion for Standard Haskell:
>
> Copy all the stuff in the Prelude to the standard libraries, at least when
> there is an obvious module for them to go to.
Hear here! (or is that here, here or hear hear?) That was on my list
to suggest to the standard
Suggestion for Standard Haskell:
Copy all the stuff in the Prelude to the standard libraries, at least when
there is an obvious module for them to go to. For instance, head and tail
should appear in the List module. I doubt I'm the only one who can't
remember if a particular list function, for
