From samc at ccs.neu.edu  Fri Nov  4 13:25:37 2016
From: samc at ccs.neu.edu (Sam Caldwell)
Date: Fri, 4 Nov 2016 13:25:37 -0400
Subject: [PL-sem-jr] next week's pl junior
Message-ID: <CALuKBHu2x31_P3EzBJWRkQUqFtDDLbUVT1f7Ru49N1Lf9SCYVg@mail.gmail.com>

Juniors,

For next week we are reading section 2.1 from Edwin Brady's dissertation[1]
on Epigram, a dependently typed programming language.

- Sam

[1]https://eb.host.cs.st-andrews.ac.uk/writings/thesis.pdf
-------------- next part --------------
HTML attachment scrubbed and removed