[Haskell] ANNOUNCE: language-c-comments 0.1 package

2010-10-08 Thread Geoff Hulette
o a full C preprocessor parser to complement language-c and enable source-to-source C translations that preserve the original formatting. If you have an opinion on what such a package should look like, I would be interested to hear about it. Cheers, -geoff ___ Haske

[Haskell] ESCAR in Tallinn, 2nd CFP

2005-04-01 Thread geoff
--- ESCAR, a CADE-20 Workshop 22nd-23rd July 2005 http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Tallinn, Estonia The CADE-20 Workshop on Empirically Successful Classical

[Haskell] LPAR-12 in Jamaica

2005-04-01 Thread geoff
September + Notification of acceptance of short papers 24th October + Camera ready versions of short papers due7th November Questions related to submission may be sent to the program chairs, Geoff Sutcliffe and Andrei Voronkov

[Haskell] ESCAR Call for Papers

2005-02-22 Thread geoff
with ESCAR on the 22nd and 23rd. Full details are available at: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/ Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions will be refere

Web-based Interface for Experimenting with System I

2002-05-22 Thread Geoff Washburn
"principal types"). The web interface can be found at: http://types.bu.edu/modular/compositional/experimentation-tool/ More information on our related research agenda and software for download are available at: http://types.bu.edu/modular/compositional/ Geoff Washburn, As