-
Notifications
You must be signed in to change notification settings - Fork 0
Home
The PLS reading group is a casual reading group run by members of UNSW's Programming Languages and Systems group. The discussions are unstructured and usually held over beer. Anyone is welcome to join us.
For this semester we intend to hold the reading every 2 weeks as before. The Whitehouse has always worked well as a venue, so I (Rob) see no reason not to keep on using it. As before we'll take it in turns picking the paper. No one really "presents" the paper as such, but whoever picks it usually starts off the discussion.
If everyone who wants to attend could put their availability in the following table, it would be helpful for establishing a good time to start with. Also, we're short of good paper suggestions so add them below, if you know of any. Once we've got a time I'll put a tentative schedule together.
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| Rob | After 3 | After the meeting | Before 2, after 4 | Before 1, after 3 | Anytime |
| Liam | Anytime | After the meeting | After 2 | after 4 (but i'll be tired) | Anytime |
| Amos | Anytime | Anytime | Anytime | Anytime | OK |
| Zilin | NA | After the meeting | Out of 3-4 | Before 1 | Anytime |
| Christina | Anytime | Before 1, 4-6 | Preferably not 2-6 | Before 3 | Anytime |
| Angus | After 5 | Before 2, after 5 | Before 3, after 4 | Before 2, after 4 | Anytime |
| Ed | Anytime | Anytime | After 5 | Never | Anytime |
Functional Pearl: A Smart View on Datatypes http://www.fceia.unr.edu.ar/~mauro/pubs/smartviews/smartviews.pdf
GADTs meet their match http://research.microsoft.com/en-us/um/people/simonpj/papers/pattern-matching/gadtpm.pdf
Practical Principled FRP: Forget the past, change the future, FRPNow! http://www.cse.chalmers.se/~atze/papers/prprfrp.pdf
Type Theory in Color http://www.cse.chalmers.se/~bernardy/CCCC.pdf
First Order Unification by Structural Recursion http://strictlypositive.org/unify.ps.gz
How to Keep Your Neighbours In Order https://personal.cis.strath.ac.uk/conor.mcbride/Pivotal.pdf
Programming and Reasoning with Algebraic Effects and Dependent Types https://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf
Propositions as Types (draft) http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
Confusion in the Church-Turing thesis http://arxiv.org/pdf/1410.7103v2.pdf
Scalability! But at what COST? (big data, not PL) http://www.frankmcsherry.org/assets/COST.pdf