![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | contravarianceagain.pdf | 2017-06-05 16:33 | 315K | |
![]() | 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 | |
![]() | dbpl05.pdf | 2022-02-22 15:33 | 289K | |
![]() | ecoop96.pdf | 2022-02-22 15:33 | 200K | |
![]() | 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 | |
![]() | 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 | |
![]() | 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 | |
![]() | 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 | |
![]() | 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 | |
![]() | 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 | |
![]() | 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 | |
![]() | occurrencetyping.pdf | 2022-03-03 16:31 | 1.2M | |
![]() | semantic_subtyping.pdf | 2022-03-03 16:31 | 905K | |
![]() | nosql.pdf | 2022-09-15 13:49 | 615K | |
![]() | covcon-again.pdf | 2023-02-23 17:55 | 732K | |
![]() | perl6-typing.pdf | 2023-02-23 17:55 | 732K | |
![]() | tods12.pdf | 2023-07-17 16:45 | 515K | |
![]() | icfp23.pdf | 2023-07-17 16:45 | 910K | |
![]() | dynlang.pdf | 2023-12-08 18:48 | 1.1M | |
![]() | set-theoretic-types-2022.pdf | 2024-03-27 11:13 | 520K | |
![]() | elixir-type-design.pdf | 2024-03-30 14:30 | 1.1M | |
![]() | polyrecords-2024.pdf | 2024-03-30 14:30 | 1.0M | |