[racket] CFP: Workshop on Generic Programming 2015 - Deadline May 15
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>