* [Call For Participation] Scheme and Functional Programming Workshop 2015
@ 2015-08-02 4:29 Andy Keep (akeep)
0 siblings, 0 replies; only message in thread
From: Andy Keep (akeep) @ 2015-08-02 4:29 UTC (permalink / raw)
To: guile-user@gnu.org
========================================================================
Call For Participation:
Scheme and Functional Programming Workshop 2015
Vancouver, British Columbia, Canada
(Co-located with ICFP 2015)
http://andykeep.com/SchemeWorkshop2015/
========================================================================
Important Dates:
August 3rd, 2015 - Early Registration Deadline
September 4th, 2015 - Workshop
========================================================================
Accepted Papers:
* R7RS Considered Unifier of Previous Standards
William D Clinger (Northeastern University)
* State Exploration Choices in a Small-Step Abstract Interpreter
Steven Lyde and Matthew Might (University of Utah)
* Towards a Foundation for Extending microKanren Constraints
Jason Hemann and Daniel P. Friedman (Indiana University)
* Type Check Removal Using Lazy Interprocedural Code Versioning
Baptiste Saleil and Marc Feeley (Université de Montréal)
We will also have invited distilled tutorials on:
* Hygenic Macros
Ryan Culpepper (Northeastern University)
* miniKanren
Will Byrd and Michael Ballantyne (University of Utah)
Along with a report on The Revised 7 Report on the Algorithmic Language
Scheme from William D Clinger (Northeastern University)
More information available at: http://andykeep.com/SchemeWorkshop2015/
========================================================================
Organizers:
Andy Keep, Cisco Systems Inc. (General Chair)
Ryan Culpepper, Northeastern University (Program Chair)
(Apologies for duplications from cross-posting.)
========================================================================
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-08-02 4:29 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-08-02 4:29 [Call For Participation] Scheme and Functional Programming Workshop 2015 Andy Keep (akeep)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).