Skip to content

Commit

Permalink
Add “Can functional programming be liberated from the von Neumann par…
Browse files Browse the repository at this point in the history 
…adigm?” for 2020-4-15
  • Loading branch information
@brianhempel
brianhempel committed Apr 8, 2020
1 parent 88fd497 commit b1179bb
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 4 deletions.
5 changes: 5 additions & 0 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,11 @@ <h2 id="schedule">Schedule</h2>
<td> <a href="https://arxiv.org/pdf/1701.02842">Extensible Datasort Refinements (ESOP '17)</a> (See also <a href="http://www.weaselhat.com/2015/03/16/a-refinement-type-by-any-other-name/">blog post on terminology</a>) </td>
<td> Brian </td>
</tr>
<tr>
<td> 2020&#8211;4&#8211;15 </td>
<td> <a href="http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm">Can functional programming be liberated from the von Neumann paradigm? (2010 Blog Post)</a> </td>
<td> Nick </td>
</tr>
</tbody>
</table>

Expand Down
9 changes: 5 additions & 4 deletions src/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,10 +14,11 @@ To suggest a paper, [open an issue](https://github.com/uchicago-cs/plrg/issues?q

For the Spring 2020 term, PLRG meets on Wednesdays, 3:00pm at [https://uchicago.zoom.us/j/564109413](https://uchicago.zoom.us/j/564109413).

| Date | Paper | Leader |
| -------- | ------------------------------------------------------------ | ------ |
| 2020-4-1 | [GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (LNCS '04)](https://repository.ubn.ru.nl/bitstream/handle/2066/60461/60461_pub.pdf?sequence=1) & [EditorArrow: An Arrow-Based Model for Editor-Based Programming (JFP '12)](https://www.researchgate.net/profile/Peter_Achten/publication/228757346_An_Arrow_based_semantics_for_interactive_applications/links/0912f508fe3d9b72fc000000/An-Arrow-based-semantics-for-interactive-applications.pdf) | Brian |
| 2020-4-8 | [Extensible Datasort Refinements (ESOP '17)](https://arxiv.org/pdf/1701.02842) (See also [blog post on terminology](http://www.weaselhat.com/2015/03/16/a-refinement-type-by-any-other-name/)) | Brian |
| Date | Paper | Leader |
| --------- | ------------------------------------------------------------ | ------ |
| 2020-4-1 | [GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (LNCS '04)](https://repository.ubn.ru.nl/bitstream/handle/2066/60461/60461_pub.pdf?sequence=1) & [EditorArrow: An Arrow-Based Model for Editor-Based Programming (JFP '12)](https://www.researchgate.net/profile/Peter_Achten/publication/228757346_An_Arrow_based_semantics_for_interactive_applications/links/0912f508fe3d9b72fc000000/An-Arrow-based-semantics-for-interactive-applications.pdf) | Brian |
| 2020-4-8 | [Extensible Datasort Refinements (ESOP '17)](https://arxiv.org/pdf/1701.02842) (See also [blog post on terminology](http://www.weaselhat.com/2015/03/16/a-refinement-type-by-any-other-name/)) | Brian |
| 2020-4-15 | [Can functional programming be liberated from the von Neumann paradigm? (2010 Blog Post)](http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm) | Nick |

## Past Terms

Expand Down

0 comments on commit b1179bb

Please sign in to comment.