Custom Query (14 matches)
Results (13 - 14 of 14)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #3 | scheduled | An L4.verified retrospective. | ||
| Description |
I've given a talk about theorem provers before. I also have some overview slides on the L4.verified project from a trip in 2010. When we're not feeling overloaded with theoretical theorem proving talks, I could turn them into an overview and retrospective on the L4.verified project which a couple of us worked on. |
|||
| #4 | scheduled | Functional pretty-printing | ||
| Description |
A longer talk about pretty-printing combinator libraries and a continuation-based implementation in Scala. Could do July, September, October or November. |
|||
Note: See TracQuery
for help on using queries.
