[racket] CFP: Workshop on Generic Programming 2015 - Deadline May 15

From: Thomas Lynch (thomas.lynch at reasoningtechnology.com)
Date: Thu Mar 5 06:04:47 EST 2015

I have the following error for a variable name that is used often in a
large file,  Is there a way to coerce racket into telling me a function
name or line number?


racket at dataplex-lib.rkt> (enter! "dataplex-lib.rkt")
  [re-loading /home/deep/src/dataplex-lib.rkt]
expand: unbound identifier in module in: value


 === context ===
/usr/share/racket/collects/errortrace/errortrace-lib.rkt:399:2:
errortrace-annotate
/usr/share/racket/collects/errortrace/errortrace-lib.rkt:442:4
/usr/share/racket/collects/racket/enter.rkt:67:2
/usr/share/racket/collects/racket/enter.rkt:33:0: do-enter!
/usr/share/racket/collects/racket/private/misc.rkt:87:7


On Thu, Mar 5, 2015 at 6:13 PM, Sebastian Erdweg <
erdweg at informatik.tu-darmstadt.de> wrote:

> ======================================================================
>                           CALL FOR PAPERS
>
>                               WGP 2015
>
>            11th ACM SIGPLAN Workshop on Generic Programming
>                          Vancouver, Canada
>                        Sunday, August 30, 2015
>
>                    http://www.wgp-sigplan.org/2015
>
>                          Co-located with the
>    International Conference on Functional Programming (ICFP 2015)
> ======================================================================
>
>
> Goals of the workshop
> ---------------------
>
> Generic programming is about making programs more adaptable by making
> them more general. Generic programs often embody non-traditional kinds
> of polymorphism; ordinary programs are obtained from them by suitably
> instantiating their parameters. In contrast with normal programs, the
> parameters of a generic program are often quite rich in structure; for
> example they may be other programs, types or type constructors, class
> hierarchies, or even programming paradigms.
>
> Generic programming techniques have always been of interest, both to
> practitioners and to theoreticians, and, for at least 20 years,
> generic programming techniques have been a specific focus of research
> in the functional and object-oriented programming communities. Generic
> programming has gradually spread to more and more mainstream
> languages, and today is widely used in industry. This workshop brings
> together leading researchers and practitioners in generic programming
> from around the world, and features papers capturing the state of the
> art in this important area.
>
> We welcome contributions on all aspects, theoretical as well as
> practical, of
>
>  * generic programming,
>  * programming with (C++) concepts,
>  * meta-programming,
>  * programming with type classes,
>  * programming with modules,
>  * programming with dependent types,
>  * type systems for generic programming,
>  * polytypic programming,
>  * adaptive object-oriented programming,
>  * component-based programming,
>  * strategic programming,
>  * aspect-oriented programming,
>  * family polymorphism,
>  * object-oriented generic programming,
>  * implementation of generic programming languages,
>  * static and dynamic analyses of generic programs,
>  * and so on.
>
> Program Committee
> -----------------
>
>  * Patrick Bahr (co-chair), University of Copenhagen
>  * Sebastian Erdweg (co-chair), Technical University of Darmstadt
>  * Edwin Brady, University of St Andrews
>  * Edsko de Vries, Well-Typed LLP
>  * Mauro Jaskelioff, National University of Rosario
>  * Johan Jeuring, Utrecht University
>  * Pieter Koopman, Radboud University Nijmegen
>  * Bruno C. d. S. Oliveira, University of Hong Kong
>  * Nicolas Pouillard, IT University of Copenhagen
>  * Sukyoung Ryu, Korea Advanced Institute of Science and Technology
>  * Sibylle Schupp, Hamburg University of Technology
>  * Sam Tobin-Hochstadt, Indiana University
>
> Proceedings and Copyright
> -------------------------
>
> We plan to have formal proceedings, published by the ACM. Accepted
> papers will be included in the ACM Digital Library. Authors must grant
> ACM publication rights upon acceptance
> (http://authors.acm.org/main.html), but may retain copyright if they
> wish. Authors are encouraged to publish auxiliary material with their
> paper (source code, test data, and so forth). The proceedings will be
> freely available for download from the ACM Digital Library from one
> week before the start of the conference until two weeks after the
> conference.
>
> Submission details
> ------------------
>
>  * Submission deadline:  Fri, 15th May 2015
>  * Author notification:  Fri, 26th June 2015
>  * Final version due:    Sun, 19th July 2015
>  * Workshop:             Sun, 30th August 2015
>
> Submitted papers should fall into one of two categories:
>
>  * Regular research papers (12 pages)
>  * Short papers: case studies, tool demos, generic pearls (6 pages)
>
> Regular research papers are expected to present novel and interesting
> research results. Short papers need not present novel or fully polished
> results. Good candidates for short papers are those that report on
> interesting case studies of generic programming in open source or
> industry, present demos of generic programming tools or libraries,
> or discuss elegant and illustrative uses of generic programming ('pearls').
>
> All submissions should be in portable document format (PDF), formatted
> using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular
> research papers must not exceed 12 pages. Short papers must not exceed
> 6 pages. If applicable, papers should be marked with one of the labels
> 'case study, 'tool demo' or 'generic pearl' in the title at the time
> of submission.
>
> Papers should be submitted via HotCRP at
>
>  https://icfp-wgp15.hotcrp.com/
>
>
>
> Travel Support
> --------------
>
> Student attendees with accepted papers can apply for a SIGPLAN PAC grant
> to help cover travel expenses. PAC also offers other support, such as
> for child-care expenses during the meeting or for travel costs for
> companions of SIGPLAN members with physical disabilities, as well as for
> travel from locations outside of North America and Europe. For details
> on the PAC program, see its web page (http://www.sigplan.org/PAC.htm).
>
> History of the Workshop on Generic Programming
> ----------------------------------------------
>
> Earlier Workshops on Generic Programming have been held in
>
>  * Gothenburg, Sweden 2014 (affiliated with ICFP),
>  * Boston, Massachusetts, US 2013 (affiliated with ICFP),
>  * Copenhagen, Denmark 2012 (affiliated with ICFP),
>  * Tokyo, Japan 2011 (affiliated with ICFP),
>  * Baltimore, Maryland, US 2010 (affiliated with ICFP),
>  * Edinburgh, UK 2009 (affiliated with ICFP),
>  * Victoria, BC, Canada 2008 (affiliated with ICFP),
>  * Portland 2006 (affiliated with ICFP),
>  * Ponte de Lima 2000 (affiliated with MPC),
>  * Marstrand 1998 (affiliated with MPC).
>
> Furthermore, there were a few informal workshops
>
>  * Utrecht 2005 (informal workshop),
>  * Dagstuhl 2002 (IFIP WG2.1 Working Conference),
>  * Nottingham 2001 (informal workshop).
>
> There were also (closely related) DGP workshops in Oxford (June
> 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27
> 2006, which had a half-day workshop attached).
>
> WGP Steering Committee
> ----------------------
>
>  * Andres Löh
>  * Ronald Garcia
>  * Jacques Carette
>  * Jeremiah Willcock
>  * José Pedro Magalhães
>  * Tiark Rompf
>  * Tarmo Uustalo
>  * Stephanie Weirich
>  * Fritz Henglein
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20150305/adcb9525/attachment-0001.html>

Posted on the users mailing list.