Mailing List ArchivesAuthenticated access |
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}
|
Mailing List ArchivesAuthenticated access |
|
| Date: | Tue, 22 Oct 2019 02:58:42 +0000 |
|---|---|
| From: | Calvin Smith <cjsmith@xxxxxxxxxxx> |
| Subject: | [pl-seminar] Talk @ 1pm in 4310 |
|
Howdy all,
A reminder that Iâm giving a talk tomorrow (the 22nd) at 1pm in CS 4310. Iâll be giving a brief overview of MiniKanren, a relational logic programming language by William Byrd and others. Weâll talk
about how the language works, a key feature or two, and where the current research on MiniKanren is going.
- Calvin
|
| [← Prev in Thread] | Current Thread | [Next in Thread→] |
|---|---|---|
| ||
| Previous by Date: | [pl-seminar] Verification internships at Amazon, Aws Albarghouthi |
|---|---|
| Next by Date: | [pl-seminar] PL Seminar, JOHN CYPHERT |
| Previous by Thread: | Re: [pl-seminar] SAS practice, Qinheping HU |
| Next by Thread: | [pl-seminar] Talk at 11am tomorrow, Calvin Smith |
| Indexes: | [Date] [Thread] |