application deadline is October 5, 2010.
Please contact Prof. Dr. S.D. Swierstra at doai...@cs.uu.nl for more
information.
The project is funded by a research grant from the Netherlands
'Organization for Scientific Research’ (NWO).
Best regards,
- Atze -
Atze Dijkstra, Departme
port bugs at:
http://code.google.com/p/uhc/issues/list
The UHC Team
[1] Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh.
A generic deriving mechanism for Haskell.
http://dreixel.net/research/pdf/gdmh_draft.pdf (see Section 7.1 for the
discussion on constrained datat
On 22 Sep, 2010, at 22:37 , Jason Dagit wrote:
> Congrats on the release!
>
> On Wed, Sep 22, 2010 at 7:30 AM, Atze Dijkstra wrote:
>
>> * For the default backend libraries are provided until including
>>package haskell98.
>
> I'm having trouble
atform
> for experimenting with language implementations, language extensions,
> etc.
>
>
> Mailing lists
> -
>
> For UHC users and developers respectively:
>
>http://mail.cs.uu.nl/mailman/listinfo/uhc-users
> http://mail.cs.uu.nl/mailman/l
>> expressions, ADTs disappear at compile time; etc.
>> ___
>> Haskell-Cafe mailing list
>> Haskell-Cafe@haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
- Atze -
Atze Dijkstra,
__
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
- Atze -
Atze Dijkstra, Department of Information and Computing Sciences. /|\
Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherla
bset of wxHaskell?) will take more work &
time. I hope this can be done as part of a studentproject, or maybe picked up
during a Hackathon.
cheers,
- Atze -
Atze Dijkstra, Department of Information and Computing Sciences. /|\
Utrecht University, PO Box 80089, 3508 TB Utrecht, N
fe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
- A
>> Haskell-Cafe mailing list
>> Haskell-Cafe@haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
> ___
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe