========================================================================

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.)

========================================================================

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to