[PL-sem-jr] planning meeting recap

Sam Caldwell samc at ccs.neu.edu
Tue Jan 17 15:16:21 EST 2017


Juniors,

The topics with the most interest were program synthesis and logic
programming/different programming models. Other contenders were the sequent
calculus, JITs, and the implementation of functional languages.

We're going to spend the next two weeks reading and discussing Cardelli's
Typeful Programming [1]. If you missed the planning meeting but would like
to present, we still have slots open.

Schedule:

1/24 - Typeful Programming sections 1-4
1/31 - Typeful Programming sections 5-
2/7   - Sam on A Deductive Approach to Program Synthesis [2]
2/14 - Matt on Programmatic and Direct Manipulation, Together at Last [3]
2/21 - Ben on Type-and-Example-Directed Program Synthesis [4]
2/28 - Dustin on the sequent calculus
3/7   - Spring Break
3/14 - Ming-Ho/Milo on logic programming
3/21 - Ming-Ho/Milo on logic programming
3/28 - ??
4/4   - ??
4/11 - ??
4/17 - retrospective writing

I encourage everybody (not just the presenter) to at least take a look at
the paper for each week beforehand.

- Sam

[1] http://www.lucacardelli.name/Papers/TypefulProg.pdf
[2] https://www.sri.com/sites/default/files/uploads/publications/pdf/725.pdf
[3] https://arxiv.org/abs/1507.02988
[4] http://www.cis.upenn.edu/~stevez/papers/OZ15.pdf
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Pl-sem-jr mailing list