![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2011-from-proof-trees-to-justificatory-answering.pdf | 2016-07-21 13:19 | 187K | |
| 2011-controlling-the-scope-of-instances-in-Haskell-sblp2011.pdf | 2016-07-20 21:48 | 243K | |
| 2011-intersection-type-parametersElton.pdf | 2016-07-20 21:49 | 357K | |
| 2011-SBQS-15384-Kecia.pdf | 2023-01-03 21:30 | 678K | |
| 2011-sbqs-15401-CesarCouto.pdf | 2023-01-03 22:00 | 876K | |
| 2011-SCOPES-tavares.pdf | 2016-06-25 21:45 | 939K | |
| 2011-CC-RodrigoSol.pdf | 2023-01-03 21:13 | 1.4M | |
| 2011-SBQS-15386-Kecia.pdf | 2023-01-03 21:34 | 3.3M | |