[Haskell] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the first and final call for participation for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the third call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the second call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the final call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

Hello, Please, find below the third call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020

[Haskell] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

Hello, Please, find below the second call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020

[Haskell] First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

Hello, Please, find below the final call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020

[Haskell] First call for participation for IFL 2019 (Implementation and Application of Functional Languages)

Hello, Please, find below the first call for participation for IFL 2019. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages)

Hello, Please, find below the final call for draft papers for IFL 2019. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)

, Jurriaan Hage Publicity Chair of IFL --- IFL 2019 31st Symposium on Implementation and Application of Functional Languages National University of Singapore

[Haskell] Call for papers for IFL 2019 (Implementation and Application of Functional Languages)

Hello, Please, find below the call for papers for IFL 2019. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

Helium II

Dear all, We’ve been active since September making the Helium compiler more Haskell 2010 compliant. In particular, we have a branch with support for Haskell 2010 type classes, a branch that supports import/export following the standard, and a branch that compiles to LLVM instead of the `old’

Re: A question about run-time errors when class members are undefined

Hi Anthony, We first go the slavish route, to provide a basis for changing things later. So I am not looking for alternative ways of doing this, I am just wondering whether there is a rationale for doing things this way. The document does not give one. And now I hear that records suffer from

A question about run-time errors when class members are undefined

Hello, We are adding classes and instances to Helium. We wondered about the aspect that it is allowed to have a class instance of which not all fields have a piece of code/value associated with them, and that as a result when you happen to call these, a run-time error results. (see Sec. 4.3.2

[Haskell] First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)

Hello, Please, find below the 1st call for participation for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- CALL FOR PARTICIPATION

[Haskell] LAST CALL for draft papers for presentation at IFL 2018 (deadline this week)

Hello, Please, find below the last call for draft papers for presentation for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- Call for Draft papers

[Haskell] Call for draft papers for presentation at IFL 2018 (Implementation and Application of Functional Languages)

Hello, Please, find below the fourth call for papers for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL --- Call for Draft papers for presentations

[Haskell] 3rd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

Hello, Please, find below the third call for papers for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] 2nd CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

Hello, Please, find below the second call for papers for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] 1st CfP: IFL 2018 (30th Symposium on Implementation and Application of Functional Languages)

Hello, Please, find below the first call for papers for IFL 2018. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

Re: Whose gonna be at icfp?

I won’t be there. :-( Jur > On 26Aug, 2017, at 08:48, Carter Schonwald wrote: > > I'll be this time! :) > > We should coord a committee catch-up at icfp. > > Also I would like to propose we shift back to email based discussion. There's > still the valid and

[Haskell] Final call for papers for IFL 2015

Hello, Please, find below the final call for papers for IFL 2015. Note that the draft submission date has been extended until August 15. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] [ANN]: the Helium compiler, version 1.8.1

Dear all, we have recently uploaded Helium 1.8.1, the novice friendly Haskell compiler, to Hackage. Improvements in this version - Helium can again work together with our Java-based programming environment Hint. The jar file for Hint itself can be downloaded from the Helium website at:

[Haskell] ANN: Helium now available from Hackage

the instances are fixed. In other words: you can't write your own classes and instances. If you want, you can turn overloading off entirely, and profit from better error messages. Any feedback is appreciated. Replying to this e-mail will do, or mail us at hel...@cs.uu.nl . cheers, Jurriaan Hage

[Haskell] Call for Participation PEPM 2014 (co-located with POPL 2014)

Scholz (Heriott-Watt University, Scotland) on Partial Evaluation as Universal Compiler Tool (experiences from the SAC eco system) PROGRAM CHAIRS Wei Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) PROGRAM COMMITTEE Evelyne

[Haskell] Deadline extension for PEPM 2014 (co-located with POPL in San Diego)

LS. Please consider submitting your work on program transformation, partial evaluation, meta programming and program analysis, to PEPM 2014. Papers can be 12 pages in length ACM style (the size of a typical ICFP and POPL submission). Apologies for multiple postings. best, Jurriaan Hage

[Haskell] Liber Amicorum for Doaitse Swierstra.

. You can find a download of this book at: http://www.cs.uu.nl/people/jur/liberdoaitseswierstra.pdf Not all contributions are ``technical'', and not all of them are in English, but counting up the pages, I guess about 75 percent is. best, Jurriaan Hage

[Haskell-cafe] Liber Amicorum for Doaitse Swierstra.

. You can find a download of this book at: http://www.cs.uu.nl/people/jur/liberdoaitseswierstra.pdf Not all contributions are ``technical'', and not all of them are in English, but counting up the pages, I guess about 75 percent is. best, Jurriaan Hage

[Haskell] Job opening Ph D student in type error diagnosis for domain specific languages in Haskell

of June 2013. For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and follow the link to the official job application page at the bottom. --- Contact person --- For further information you can direct your inquiries to: Dr. Jurriaan Hage Phone: (+31) 30

[Haskell-cafe] Job opening Ph D student in type error diagnosis for domain specific languages in Haskell

of June 2013. For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and follow the link to the official job application page at the bottom. --- Contact person --- For further information you can direct your inquiries to: Dr. Jurriaan Hage Phone: (+31) 30

[Haskell-cafe] Follow up on type error diagnosis for DSLs in Haskell

(as mentioned by Stephen) up to Haskell 2011 (or whatever variant will be appropriate). The plan is to first prototype this work in the UHC compiler, and, if succesful, build it into the GHC. I shall surely send out a job vancancy on some of the Haskell mailing lists. best, Jurriaan Hage

[Haskell-cafe] Cabalizing LVM

Dear all, in an effort to Cabalize the Helium compiler and make it available on Hackage, it would be helpful to have an example of a Cabal file that shows how to deal with compilation of platform dependent C-code. Anybody out there who has a sample for me? best, Jurriaan Hage

Explicit calls to the garbage collector.

LS. I have a very memory intensive application. It seems that the timing of my application depend very much on the precise setting of -H...M in the runtime system (-H2000M seems to work best, computation time becomes a third of what I get when I pass no -H option). I conjecture that this

Another profiling question.

Dear all, from the RTS option -s I get : INIT time0.00s ( 0.00s elapsed) MUT time 329.99s (940.55s elapsed) GCtime 745.91s (751.51s elapsed) RPtime 765.76s (767.76s elapsed) PROF time 359.95s (362.12s elapsed) EXIT time0.00s ( 0.00s elapsed) I can

What do the following numbers mean?

Dear all, I ran a small example program, and this is what I got from using the -s flag: 486,550,118,368 bytes allocated in the heap 323,749,418,440 bytes copied during GC 1,842,979,344 bytes maximum residency (219 sample(s)) 204,653,688 bytes maximum slop 4451 MB total memory

Re: [Haskell] [Haskell-cafe] ANNOUNCE: haskell-src-exts-1.13.0

On 28Mar, 2012, at 10:52 PM, dag.odenh...@gmail.com wrote: On 28 March 2012 21:05, Jurriaan Hage j.h...@uu.nl wrote: Our first year students will be very unhappy to hear this. Wait, what? The improvements in haskell-src-exts will make my Haskell plagiarism detector Holmes more robust

Re: [Haskell] [Haskell-cafe] ANNOUNCE: haskell-src-exts-1.13.0

On 28Mar, 2012, at 4:02 PM, Niklas Broberg wrote: Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.13.0! * On hackage: http://hackage.haskell.org/package/haskell-src-exts * Via cabal: cabal install haskell-src-exts * Darcs repo:

[Haskell] Job Opportunity: PhD position at Utrecht University on analysis of functional languages

Hello Haskellers, I have the following job opening for a PhD student. Maybe it is something for some of you. Please pass it on to anyone who might be interested. Apologies if you happen to receive this mail multiple times. best regards, Jurriaan Hage

[Haskell] ghc question

Hello, Given the fact that Haskell 98 demands that class constraints in an explicit type are in a normal form (either a variable, or a type variable applied to a list of types), it struck me that in the following (not very useful) program ghci yields a type which is not of that form. class X

Re: sockets and handles in ghc

On Friday, June 27, 2003, at 07:08 PM, Volker Stolz wrote: [Moving to [EMAIL PROTECTED] In local.haskell, you wrote: I've been using sockets and handles with ghc-5.04.3. The strange thing is now that when I make a handle out of a socket and ask whether the handle is readable or writable, it

sockets and handles in ghc

Hello, I've been using sockets and handles with ghc-5.04.3. The strange thing is now that when I make a handle out of a socket and ask whether the handle is readable or writable, it returns True for the former and False for the latter, although sockets are bidirectional. And yes, I am able to