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
---
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
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
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
"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