Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
LIPIcs-TYPES-2016-5.pdf | 2024-02-22 14:55 | 627K | ||
ProofCheck-Proposal.pdf | 2024-02-22 14:55 | 46K | ||
bauer+-types-2016.pdf | 2024-02-22 14:55 | 245K | ||
bauer-stone-cie07.pdf | 2024-02-22 14:55 | 210K | ||
bauer-stone-jlc09.pdf | 2024-02-22 14:55 | 1.1M | ||
biagioni-et-al-hosc9..> | 2024-02-22 14:55 | 67K | ||
crary-datatypes-tr98..> | 2024-02-22 14:55 | 361K | ||
ocm-poster-splash11.pdf | 2024-02-22 14:55 | 397K | ||
ocm-unpublished.pdf | 2024-02-22 14:55 | 379K | ||
oneill-transact-2015..> | 2024-02-22 14:55 | 443K | ||
prooflang.pdf | 2024-02-22 14:56 | 495K | ||
riecke-stone-fool5.pdf | 2024-02-22 14:56 | 1.2M | ||
riecke-stone-ic02.pdf | 2024-02-22 14:56 | 149K | ||
stone-schoonmaker-lo..> | 2024-02-22 14:56 | 433K | ||
stone-schoonmaker.pdf | 2024-02-22 14:56 | 375K | ||
toplas-fool9-sub.pdf | 2024-02-22 14:56 | 348K | ||