Index of /wadler/papers
Name Last modified Size Description
yow/ 2013-12-11 04:41 -
xsl-semantics/ 2003-10-17 10:44 -
xquery-tutorial/ 2003-10-21 14:16 -
xquery-algebra/ 2003-10-17 10:44 -
xquery-afp/ 2011-04-04 10:16 -
xpath-semantics/ 2003-10-17 10:44 -
xml-syntax/ 2003-10-17 10:44 -
xml-exemplars/ 2003-10-17 10:44 -
xml-essence/ 2003-10-17 10:44 -
xalgebra/ 2003-10-17 10:44 -
xalgebra-watson/ 2003-10-17 10:44 -
xalgebra-india/ 2003-10-17 10:44 -
xalgebra-icdt/ 2003-10-17 10:44 -
warsaw/ 2012-07-31 12:10 -
wadlerfest.pdf 2016-04-13 16:41 1.1M
view/ 2003-10-17 10:44 -
vanish/ 2003-10-17 10:44 -
tychonoff/ 2010-08-30 17:54 -
turner-festschrift/ 2018-12-14 15:35 -
threesomes-stop/ 2009-07-17 14:01 -
threesomes-popl/ 2010-09-16 09:59 -
tarragona/ 2013-07-30 13:50 -
tarragona-2014/ 2014-07-09 14:27 -
stricttime/ 2003-10-17 10:44 -
strictproject/ 2003-10-17 10:44 -
strictnonflat/ 2003-10-17 10:44 -
strachey100/ 2016-11-17 19:00 -
staticsemantics/ 2003-10-17 10:44 -
smart-contracts/ 2018-02-25 18:11 -
sigplan-why/ 2005-11-16 18:02 -
sigplan-ssa/ 2003-10-17 10:44 -
sigplan-drscheme/ 2003-10-17 10:44 -
sigplan-angry/ 2003-10-17 10:44 -
signed-and-sealed/ 2008-04-08 17:39 -
rpc-calculus/ 2009-09-14 10:02 -
root-blame/ 2018-10-21 18:17 -
reynolds/ 2019-11-12 20:00 -
reuse/ 2003-10-17 10:44 -
reflection/ 2003-10-17 10:44 -
reflection-journal/ 2011-05-11 15:19 -
quantcc/ 2017-08-29 09:58 -
qdsl/ 2019-06-12 22:04 -
propositions-as-types/ 2016-05-11 21:39 -
propositions-as-sess..> 2018-02-25 18:24 -
prettier/ 2003-10-17 10:44 -
plmw/ 2020-07-06 15:11 -
plmw-types/ 2016-10-25 18:14 -
plfa/ 2020-03-10 14:20 -
pizza2/ 2003-10-17 10:44 -
pizza/ 2003-10-17 10:44 -
pattern/ 2012-11-23 10:39 -
parvsvirt/ 2003-10-17 10:44 -
parablame/ 2017-08-29 09:53 -
papers-we-love/ 2016-10-25 18:06 -
padl-2020/ 2020-01-18 21:07 -
overload2/ 2003-10-17 10:44 -
orwell/ 2016-12-13 15:05 -
oopsla/ 2006-11-02 17:48 -
oncetech/ 2003-10-17 10:44 -
once/ 2003-10-17 10:44 -
next700dimacs/ 2003-10-17 10:44 -
next700/ 2003-10-17 10:44 -
need/ 2003-10-17 10:44 -
need-journal/ 2003-10-17 10:44 -
natural/ 2008-01-07 14:35 -
multiparty/ 2016-06-30 15:42 -
msl/ 2003-10-17 10:44 -
mpc-2019/ 2019-11-22 21:55 -
monadsdeclare/ 2003-10-17 10:44 -
monadscomb/ 2003-10-17 10:44 -
monads/ 2003-10-17 10:44 -
mixing-metaphors/ 2018-12-24 14:34 -
mixed-messages/ 2018-12-24 14:22 -
marktoberdorf/ 2009-03-31 11:54 -
loft/ 2019-11-27 20:37 -
located-lambda/ 2008-04-08 17:44 -
list-comp/ 2007-10-24 18:34 -
liquid/ 2017-12-13 14:51 -
links/ 2006-02-02 04:30 -
linearuse/ 2003-10-17 10:44 -
lineartaste/ 2014-06-16 11:26 -
linearsyn/ 2003-10-17 10:44 -
linearsub/ 2003-10-17 10:44 -
linearop/ 2003-10-17 10:44 -
linearmonad/ 2003-10-17 10:44 -
linearcall/ 2003-10-17 10:44 -
linear/ 2003-10-17 10:44 -
lfcs30.pdf 2016-04-13 16:41 1.6M
leicester/ 2013-04-11 12:35 -
leibniz/ 2020-06-17 11:07 -
leak/ 2003-10-17 10:44 -
lazyvsstrict/ 2003-10-17 10:44 -
lazyinstrict/ 2003-10-17 10:44 -
lambda-db/ 2020-01-25 01:23 -
inaugural/ 2004-11-17 14:13 -
implicits/ 2014-06-23 15:13 -
imperative/ 2003-10-17 10:44 -
hudak-memorial/ 2016-04-28 22:21 -
how-and-why/ 2005-09-16 10:55 -
hot/ 2003-10-17 10:44 -
gradsess/ 2019-11-22 21:22 -
gr2/ 2016-12-20 14:23 -
gr/ 2004-05-05 15:19 -
go/ 2020-06-07 10:15 -
gj-tutorial/ 2003-10-17 10:44 -
gj-specification/ 2003-10-17 10:44 -
gj-slides/ 2003-10-17 10:44 -
gj-oopsla/ 2003-10-17 10:44 -
gapayev/ 2019-11-13 09:49 -
frege/ 2003-10-17 10:44 -
free/ 2003-10-17 10:44 -
free-rectypes/ 2014-10-21 14:27 -
formlets/ 2008-04-08 17:34 -
formlets-aplas/ 2011-04-06 15:07 -
firbush/ 2005-10-21 13:44 -
fg/ 2020-12-10 10:39 -
featherweight/ 2003-10-17 10:44 -
facs3/ 2003-10-17 10:44 -
facs2/ 2003-10-17 10:44 -
facs1/ 2003-10-17 10:44 -
expression/ 2006-11-03 16:24 -
ettu/ 2003-10-17 10:44 -
esslli/ 2015-08-06 13:37 -
essence/ 2003-10-17 10:44 -
essence-of-linq/ 2013-11-16 12:06 -
erlang/ 2003-10-17 10:44 -
effectstocl/ 2003-10-17 10:44 -
effects/ 2003-10-17 10:44 -
dual/ 2005-02-04 16:32 -
dual-revolutions/ 2005-02-04 16:56 -
dual-reloaded/ 2005-02-04 16:34 -
deforest/ 2003-10-17 10:44 -
conversions/ 2017-01-13 18:06 -
constraints/ 2009-11-05 15:42 -
composable/ 2003-10-17 10:44 -
complement/ 2016-02-11 18:48 -
coercions/ 2021-10-21 21:36 -
coercions-jfp/ 2019-11-06 10:03 -
cochis/ 2019-02-08 13:07 -
classical/ 2003-10-17 10:44 -
classhask/ 2003-10-17 10:44 -
class/ 2003-10-17 10:44 -
class-letter/ 2017-05-15 14:46 -
churchs-coincidences/ 2012-06-20 23:19 -
chi-sig-usability/ 2016-02-26 18:27 -
ch-vs-ph/ 2013-01-28 22:10 -
categories/ 2018-09-22 10:13 -
blameforall-stop/ 2009-09-14 10:36 -
blame/ 2014-05-27 11:39 -
blame-key/ 2016-07-07 12:58 -
blame-for-all/ 2010-11-26 09:43 -
blame-all-stop/ 2009-09-14 10:36 -
barendregt/ 2019-11-12 20:51 -
arrows/ 2008-04-01 01:13 -
arrows-jfp/ 2016-12-09 16:27 -
arrows-and-idioms/ 2008-04-23 15:47 -
array/ 2003-10-17 10:44 -
armstrong/ 2003-10-17 10:44 -
angry/ 2003-10-17 10:44 -