Skip to content

Commit

Permalink
includes Winter 2023 papers
Browse files Browse the repository at this point in the history
  • Loading branch information
@nmmull
nmmull committed Mar 22, 2023
1 parent bdf0444 commit 4fc1e37
Show file tree
Hide file tree
Showing 2 changed files with 97 additions and 5 deletions.
80 changes: 77 additions & 3 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,83 @@ <h1 id="reading_lambda.pngreadinglambdauniversityofchicagoprogramminglanguagesre

<h2 id="schedule">Schedule</h2>

<p>For Fall 2022, PLRG meets on Tuesdays 11:30am in Crerar 354.</p>
<p>For Spring 2023, PLRG meets on Tuesdays 12pm in Crerar 354.</p>

<table>
<colgroup>
<col />
<col />
<col />
</colgroup>

<thead>
<tr>
<th> Date </th>
<th> Paper </th>
<th> Leader </th>
</tr>
</thead>
</table>

<h2 id="pastterms">Past Terms</h2>

<h3 id="winter2023">Winter 2023</h3>

<table>
<colgroup>
<col />
<col />
<col />
</colgroup>

<thead>
<tr>
<th> Date </th>
<th> Paper </th>
<th> Leader </th>
</tr>
</thead>

<tbody>
<tr>
<td> January 20 </td>
<td> <a href="https://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html">Comonads are Objects</a> </td>
<td> Nathan </td>
</tr>
<tr>
<td> January 27 </td>
<td> <a href="https://www.sciencedirect.com/science/article/pii/S089054019692622X">Strong Normalization from Weak Normalization in Typed Lambda-Calculi</a> </td>
<td> Nathan </td>
</tr>
<tr>
<td> February 3 </td>
<td> <a href="https://dl.acm.org/doi/10.1145/3571220">DimSum: A Decentralized Approach to Multi-language Semantics and Verification</a> </td>
<td> Bhakti </td>
</tr>
<tr>
<td> February 10 </td>
<td> <a href="https://www.youtube.com/watch?v=dYz9V8cQSoY">Introduction to Free Monads</a> </td>
<td> Matt </td>
</tr>
<tr>
<td> February 17 </td>
<td> <a href="https://dl.acm.org/doi/10.1145/3009837.3009882">Polymorphism, subtyping, and type inference in MLsub</a> </td>
<td> John </td>
</tr>
<tr>
<td> February 24 </td>
<td> <a href="https://dl.acm.org/doi/10.1145/3409006">The simple essence of algebraic subtyping: principal type inference with subtyping made easy</a> </td>
<td> John </td>
</tr>
<tr>
<td> March 3 </td>
<td> <a href="https://okmij.org/ftp/Haskell/zseq.pdf">Reflection without Remorse</a> &amp; <a href="https://janis-voigtlaender.eu/papers/AsymptoticImprovementOfComputationsOverFreeMonads.pdf">Asymptotic Improvement of Computations over Free Monads</a> </td>
<td> Skye </td>
</tr>
</tbody>
</table>

<h3 id="fall2022">Fall 2022</h3>

<table>
<colgroup>
Expand Down Expand Up @@ -74,8 +150,6 @@ <h2 id="schedule">Schedule</h2>
</tbody>
</table>

<h2 id="pastterms">Past Terms</h2>

<h3 id="spring2020">Spring 2020</h3>

<p>For the Spring 2020 term, PLRG meets on Wednesdays, 3:00pm at <a href="https://uchicago.zoom.us/j/564109413">https://uchicago.zoom.us/j/564109413</a>.</p>
Expand Down
22 changes: 20 additions & 2 deletions src/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,26 @@ To suggest a paper, [open an issue](https://github.com/uchicago-cs/plrg/issues?q

## Schedule

For Fall 2022, PLRG meets on Tuesdays 11:30am in Crerar 354.
For Spring 2023, PLRG meets on Tuesdays 12pm in Crerar 354.

| Date | Paper | Leader |
| ---- | ----- | ------ |

## Past Terms

### Winter 2023

| Date | Paper | Leader |
| ---- | ----- | ------ |
| January 20 | [Comonads are Objects](https://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html) | Nathan |
| January 27 | [Strong Normalization from Weak Normalization in Typed Lambda-Calculi](https://www.sciencedirect.com/science/article/pii/S089054019692622X) | Nathan |
| February 3 | [DimSum: A Decentralized Approach to Multi-language Semantics and Verification](https://dl.acm.org/doi/10.1145/3571220) | Bhakti |
| February 10 | [Introduction to Free Monads](https://www.youtube.com/watch?v=dYz9V8cQSoY) | Matt |
| February 17 | [Polymorphism, subtyping, and type inference in MLsub](https://dl.acm.org/doi/10.1145/3009837.3009882) | John |
| February 24 | [The simple essence of algebraic subtyping: principal type inference with subtyping made easy](https://dl.acm.org/doi/10.1145/3409006) | John |
| March 3 | [Reflection without Remorse](https://okmij.org/ftp/Haskell/zseq.pdf) & [Asymptotic Improvement of Computations over Free Monads](https://janis-voigtlaender.eu/papers/AsymptoticImprovementOfComputationsOverFreeMonads.pdf) | Skye |

### Fall 2022

| Date | Paper | Leader |
| ---- | ----- | ------ |
Expand All @@ -24,7 +43,6 @@ For Fall 2022, PLRG meets on Tuesdays 11:30am in Crerar 354.
| November 22 | Algebraic Effects and [Koka](https://koka-lang.github.io/koka/doc/index.html) | Byron |
| November 28 | [Genetic Programming with Polymorphic Types and Higher-Order Functions](https://www.site.uottawa.ca/~afelty/dist/gecco08.pdf) | Andy |

## Past Terms

### Spring 2020

Expand Down

0 comments on commit 4fc1e37

Please sign in to comment.