Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
GSPi.pdf | 2022-02-22 15:33 | 506K | ||
asian03.pdf | 2022-02-22 15:33 | 249K | ||
asian96.pdf | 2022-02-22 15:33 | 137K | ||
complang02.pdf | 2022-02-22 15:33 | 325K | ||
concur00.pdf | 2022-02-22 15:33 | 167K | ||
concur01a.pdf | 2022-02-22 15:33 | 186K | ||
concur01b.pdf | 2022-02-22 15:33 | 192K | ||
concur06.pdf | 2022-02-22 15:33 | 397K | ||
concur09.pdf | 2022-02-22 15:33 | 184K | ||
contracts.pdf | 2022-02-22 15:33 | 206K | ||
contravarianceagain.pdf | 2017-06-05 16:33 | 315K | ||
covcon-again.pdf | 2023-02-23 17:55 | 732K | ||
dbpl05.pdf | 2022-02-22 15:33 | 289K | ||
dynlang.pdf | 2023-12-08 18:48 | 1.1M | ||
ecoop96.pdf | 2022-02-22 15:33 | 200K | ||
elixir-type-design.pdf | 2024-03-30 14:30 | 1.1M | ||
facs96.pdf | 2022-02-22 15:33 | 499K | ||
fmoodsforte11-extended.pdf | 2022-02-22 15:33 | 342K | ||
fosad04.pdf | 2022-02-22 15:33 | 541K | ||
fst-extended.pdf | 2022-02-22 15:33 | 422K | ||
fst.pdf | 2022-02-22 15:33 | 197K | ||
fsttcs02.pdf | 2022-02-22 15:33 | 284K | ||
fsttcs93.pdf | 2022-02-22 15:33 | 357K | ||
fwan02.pdf | 2022-02-22 15:33 | 270K | ||
gradualmachine.pdf | 2022-02-22 15:33 | 948K | ||
gst-extended.pdf | 2022-02-22 15:33 | 330K | ||
gst.pdf | 2022-02-22 15:33 | 247K | ||
habilitation.pdf | 2022-02-22 15:33 | 1.1M | ||
icalp-ppdp05.pdf | 2022-02-22 15:33 | 157K | ||
icfp03.pdf | 2022-02-22 15:33 | 268K | ||
icfp08.pdf | 2022-02-22 15:33 | 388K | ||
icfp11.pdf | 2022-02-22 15:33 | 300K | ||
icfp16.pdf | 2022-02-22 15:33 | 559K | ||
icfp17.pdf | 2022-02-22 15:33 | 1.0M | ||
icfp23.pdf | 2023-07-17 16:45 | 910K | ||
ictcs01.pdf | 2022-02-22 15:33 | 329K | ||
ictcs05a.pdf | 2022-02-22 15:33 | 241K | ||
ictcs05b.pdf | 2022-02-22 15:33 | 185K | ||
infcomp05.pdf | 2022-02-22 15:33 | 600K | ||
infcomp95.pdf | 2022-02-22 15:33 | 465K | ||
infcomp99-longversion.pdf | 2022-02-22 15:33 | 581K | ||
infcomp99.pdf | 2022-02-22 15:33 | 611K | ||
iterxml.pdf | 2022-02-22 15:33 | 388K | ||
jfla96.pdf | 2022-02-22 15:33 | 193K | ||
jfla99.pdf | 2022-02-22 15:33 | 239K | ||
lfp92.pdf | 2022-02-22 15:33 | 336K | ||
lics02.pdf | 2022-02-22 15:33 | 194K | ||
lics05.pdf | 2022-02-22 15:33 | 219K | ||
lmcs12.pdf | 2022-02-22 15:33 | 538K | ||
nosql.pdf | 2022-09-15 13:49 | 615K | ||
occurrencetyping.pdf | 2022-03-03 16:31 | 1.2M | ||
oopsla97.pdf | 2022-02-22 15:33 | 283K | ||
padl05.pdf | 2022-02-22 15:33 | 147K | ||
parametricsub-extended.pdf | 2022-02-22 15:33 | 423K | ||
pbe.pdf | 2022-02-22 15:33 | 532K | ||
pc-handbook.pdf | 2022-02-22 15:33 | 131K | ||
perl6-typing.pdf | 2023-02-23 17:55 | 732K | ||
phdthesis.pdf | 2022-02-22 15:33 | 2.8M | ||
planx07.pdf | 2022-02-22 15:33 | 236K | ||
polydeuces-part1.pdf | 2022-02-22 15:33 | 756K | ||
polydeuces-part2.pdf | 2022-02-22 15:33 | 849K | ||
polyduce.pdf | 2022-02-22 15:33 | 271K | ||
polyrecords-2024.pdf | 2024-03-30 14:30 | 1.0M | ||
polyx-toplas.pdf | 2022-02-22 15:33 | 542K | ||
popl01.pdf | 2022-02-22 15:33 | 262K | ||
popl05.pdf | 2022-02-22 15:33 | 221K | ||
popl08-extended.pdf | 2022-02-22 15:33 | 615K | ||
popl08.pdf | 2022-02-22 15:33 | 219K | ||
popl13.pdf | 2022-02-22 15:33 | 467K | ||
popl14.pdf | 2022-02-22 15:33 | 756K | ||
popl19.pdf | 2022-02-22 15:33 | 1.2M | ||
popl22.pdf | 2022-02-22 15:33 | 1.1M | ||
popl94.pdf | 2022-02-22 15:33 | 83K | ||
popl95.pdf | 2022-02-22 15:33 | 45K | ||
ppdp19.pdf | 2022-02-22 15:33 | 375K | ||
semantic_subtyping.pdf | 2022-03-03 16:31 | 905K | ||
set-theoretic-types-2022.pdf | 2024-03-27 11:13 | 520K | ||
soar.pdf | 2022-02-22 15:33 | 1.0M | ||
tacs01.pdf | 2022-02-22 15:33 | 233K | ||
tapos96.pdf | 2022-02-22 15:33 | 266K | ||
tcs07.pdf | 2022-02-22 15:33 | 271K | ||
tcs95.pdf | 2022-02-22 15:33 | 416K | ||
tcs96.pdf | 2022-02-22 15:33 | 71K | ||
tods12.pdf | 2023-07-17 16:45 | 515K | ||
toplas04.pdf | 2022-02-22 15:33 | 589K | ||
toplas09.pdf | 2022-02-22 15:33 | 526K | ||
toplas95.pdf | 2022-02-22 15:33 | 268K | ||
tosca01.pdf | 2022-02-22 15:33 | 60K | ||
types18a.pdf | 2022-02-22 15:33 | 231K | ||
types18b.pdf | 2022-02-22 15:33 | 191K | ||
types18post.pdf | 2022-02-22 15:33 | 586K | ||
vldb06.pdf | 2022-02-22 15:33 | 207K | ||
wsfm06.pdf | 2022-02-22 15:33 | 182K | ||
www18.pdf | 2022-02-22 15:33 | 1.0M | ||
xmltc_eds.pdf | 2022-02-22 15:33 | 114K | ||
xqueryduce.pdf | 2022-02-22 15:33 | 524K | ||