Stephanie Weirich (University of Pennsylvania)
Program Committee
Ana Bove, Chalmers, Sweden
Loris D'Antoni, U Wisconsin-Madison, USA
Ugo Dal Lago, Bologna, Italy
Ornela Dardha, Glasgow, UK
Mike Dodds, Galois, USA
Sophia Drossopoulou, Imperial, UK
Robert Findler, Northwestern, USA
Amir
types, semantics, and logic".
More details about the program and the registration process will be
available soon.
OPLSS 2023 Organization Team
Zena Ariola, Stephanie Balzer, and Stephanie Weirich
[image: oplss.png]
___
Haskell mailing list
Haskell@haskel
, University of British Columbia
Stephanie Weirich, University of Pennsylvania
with Kathleen Fisher, Tufts University (and General Chair, ICFP 2015)
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
Stump, University of Iowa
* Nikhil Swamy, Microsoft Research
* Stephanie Weirich, University of Pennsylvania (chair)
History
---
This workshop follows a series of workshops on dependently-typed programming.
Past meetings include [DTP 2011 in Nijmegen](http://www.cs.ru.nl/dtp11/), [DTP
2010
, Microsoft Research
* Stephanie Weirich, University of Pennsylvania (chair)
History
---
This workshop follows a series of workshops on dependently-typed programming.
Past meetings include [DTP 2011 in Nijmegen](http://www.cs.ru.nl/dtp11/), [DTP
2010 in Edinburgh](http://sneezy.cs.nott.ac.uk/darcs
*
CALL FOR PARTICIPATION
TLDI 2011
ACM SIGPLAN Workshop on
Types in Language Design and Implementation
(Monday)
- Final versions due: November 22, 2010 (Monday)
- Workshop:January 25, 2011 (Tuesday)
General Chair:
Stephanie Weirich
University of Pennsylvania
sweirich at cis dot upenn dot edu
Program Chair:
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS
versions due: November 22, 2010 (Monday)
- Workshop:January 25, 2011 (Tuesday)
General Chair:
Stephanie Weirich
University of Pennsylvania
sweirich at cis dot upenn dot edu
Program Chair:
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS)
dreyer at mpi-sws
versions due: November 22, 2010 (Monday)
- Workshop:January 25, 2011 (Tuesday)
General Chair:
Stephanie Weirich
University of Pennsylvania
sweirich at cis dot upenn dot edu
Program Chair:
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS)
dreyer at mpi-sws dot
Ok, I've put together a page on EmptyDataDecls:
http://hackage.haskell.org/trac/haskell-prime/wiki/EmptyDataDecls
Cheers,
Stephanie
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
of the Edinburgh
Festival, one of the premier arts and cultural festivals in the
world. The opportunity to attend the Festival is a plus! Due to
the popularity of Edinburgh during the festival period, we
strongly recommend booking accommodation early.
See you in Edinburgh,
Stephanie Weirich
and will appear in
the ACM
Digital Library.
If there is sufficient demand, we will try to organize a time
slot for
system or tool demonstrations. If you are interested in
demonstrating a
Haskell related tool or application, please send a brief demo
proposal
to Stephanie Weirich, sweir
a brief demo
proposal
to Stephanie Weirich, sweir...@cis.upenn.edu.
Links
* http://haskell.org/haskell-symposium, the permanent homepage
of the
Haskell Symposium.
* http://haskell.org/haskell-symposium/2009/, the 2009 Haskell
Symposium web page.
* http
.
If there is sufficient demand, we will try to organize a time
slot for
system or tool demonstrations. If you are interested in
demonstrating a
Haskell related tool or application, please send a brief demo
proposal
to Stephanie Weirich, sweir...@cis.upenn.edu.
Links
* http://haskell.org/haskell
to Stephanie Weirich, sweir...@cis.upenn.edu.
Links
* http://haskell.org/haskell-symposium, the permanent homepage
of the
Haskell Symposium.
* http://haskell.org/haskell-symposium/2009/, the 2009 Haskell
Symposium web page.
* http://www.icfpconference.org/icfp2009, the ICFP
site:
http://www.regmaster.com/conf/popl2008.html
The tutorial is organized and presented by members of the University of
Pennsylvania PLClub: Brian Aydemir, Aaron Bohannon, Benjamin Pierce,
Jeffrey
Vaughan, Dimitrios Vytiniotis, Stephanie Weirich, and Steve Zdancewic.
Questions can
Here are some of my comments to Iavor's proposals:
Notation for Schemes
PROPOSAL: be liberal:
allow empty quantifier lists
allow variables that are not mentioned in the body of a type (but
warn)
allow predicates that do not mention quantified variables (but warn?)
For the reasons
Simon Peyton-Jones wrote:
My suggestion is this:
* Specify MPTCs in the main language
* Specify FDs in an Appendix (with some reasonably conservative
interpretation of FDs).
* A Haskell' implementation should implement the Appendix, and
programmers can write programs against it.
So it looks like we're stuck at pretty much the same proposals for the
class system.
a) standardize on MPTC and FDs using rules from CHR paper.
b) don't standardize anything, and wait for ATs to take over
c) punt---standardize the library and exact form of FD for that library,
but no more, or
I've been working on a summary page for the class system proposals
(http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/ClassSystem),
similar in spirit to the Concurrency page that Simon Marlow has been
developing. This page is important because it lists all of the
proposals not
20 matches
Mail list logo