> Actually, I think Lennart means PEPM '99. Indeed! Just because it was colocated with POPL99 doesn't make it the same conference. :-) -- Lennart
- RE: Haskell 2 -- Dependent types? D. Tweed
- Re: Haskell 2 -- Dependent types? Fergus Henderson
- Re: Haskell 2 -- Dependent types? George Beshers
- Re: Haskell 2 -- Dependent types? Thomas Hallgren
- Re: Haskell 2 -- Dependent types? Josef Sveningsson
- Re: Haskell 2 -- Dependent types? Carl R. Witty
- Re: Haskell 2 -- Dependent types? Carl R. Witty
- Re: Haskell 2 -- Dependent types? Fergus Henderson
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Andrew Moran
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Lars Lundgren
- Re: Haskell 2 -- Dependent types? Carl R. Witty
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- RE: Haskell 2 -- Dependent types? Nick Kallen
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Fergus Henderson
- RE: Haskell 2 -- Dependent types? Nick Kallen
- RE: Haskell 2 -- Dependent types? Nick Kallen
- Re: Haskell 2 -- Dependent types? Lennart Augustsson
- Re: Haskell 2 -- Dependent types? Fergus Henderson