Index of /~bpientka/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]lfmtp10/2010-05-13 10:46 -  
[DIR]tocl355/2008-11-11 17:17 -  
[   ]cc-code.tar.zip2013-06-17 16:40 5.1K 
[   ]iwwc.ps2003-08-15 17:09 23K 
[   ]essay.ps2003-08-15 17:09 35K 
[   ]ada.ps2003-08-15 17:09 62K 
[   ]prop2.ps2003-08-15 17:09 62K 
[   ]prop1.ps2003-08-15 17:09 63K 
[   ]slides4.ps2003-08-15 17:09 64K 
[   ]PientkaCV.pdf2003-08-15 17:09 68K 
[   ]PientkaTeaching.pdf2003-08-15 17:09 70K 
[   ]teaching-bp.pdf2003-08-15 17:09 72K 
[   ]midterm.ps2003-08-15 17:09 73K 
[   ]PientkaResearch.pdf2003-08-15 17:09 76K 
[   ]thesis-summary.pdf2003-08-26 17:23 78K 
[   ]grace.ps2003-08-15 17:09 87K 
[   ]appendix.pdf2010-04-08 15:51 94K 
[   ]iclp06-tutorial.pdf2006-05-17 13:58 107K 
[   ]iclp06.pdf2006-09-27 13:43 107K 
[   ]alp-aug03.ps2003-08-15 17:09 109K 
[   ]ws-cade00.ps2003-08-15 17:09 117K 
[   ]thesis-summary.ps2003-08-26 17:24 131K 
[   ]system-description.pdf2010-04-08 15:51 139K 
[   ]pearl.pdf2007-06-06 23:06 141K 
[   ]modalf.ps2003-08-15 17:09 149K 
[   ]oracle-iclp.pdf2005-08-04 11:32 150K 
[   ]main.ps2003-08-15 17:09 150K 
[   ]merlin.ps2003-08-15 17:09 154K 
[   ]flops.pdf2010-01-24 10:17 156K 
[   ]cv.pdf2016-01-16 13:24 162K 
[   ]modal-matrix.pdf2008-04-09 13:51 166K 
[   ]lfmtp07.pdf2007-07-27 14:56 168K 
[   ]bimodal.pdf2007-03-23 21:46 168K 
[   ]jar-eappendix.pdf2014-03-19 09:42 172K 
[   ]orbi-eappendix.pdf2014-03-19 09:44 172K 
[   ]lfmtp10.pdf2010-05-13 10:46 173K 
[   ]heilala-pientka-cade07.pdf2007-07-27 14:54 178K 
[   ]dephoas.pdf2008-02-28 15:25 185K 
[   ]inductive-beluga.pdf2016-01-16 13:24 187K 
[   ]logrel.pdf2016-01-16 13:24 187K 
[   ]plpv-final.pdf2006-09-27 13:40 188K 
[   ]iclp06-tutorial.ps2006-05-17 13:58 190K 
[   ]iclp06.ps2006-09-27 13:43 190K 
[   ]prog-proofs.pdf2010-09-14 15:48 196K 
[   ]exsub.pdf2010-04-08 15:51 197K 
[   ]assign.ps2003-08-15 17:09 209K 
[   ]red-elim.pdf2006-03-06 10:57 209K 
[   ]cc.pdf2014-01-14 21:18 209K 
[   ]worlds-rev.pdf2010-04-08 15:51 214K 
[   ]thesis-slides.pdf2003-09-03 17:07 216K 
[   ]eftab-long.pdf2005-03-09 10:15 216K 
[   ]Pientka-Kreitz.ps2003-08-15 17:09 217K 
[   ]fi.ps2003-08-15 17:09 217K 
[   ]lfm02-slides.pdf2003-08-15 17:09 217K 
[   ]popl170-abel.pdf2012-11-27 14:31 220K 
[   ]worlds.pdf2010-01-24 10:17 221K 
[   ]studienarbeit.ps2003-08-15 17:09 225K 
[   ]iclp-tutorial.pdf2006-09-27 13:42 227K 
[   ]indexed-codata.pdf2015-07-11 11:35 230K 
[   ]hoasfun-short.pdf2007-11-05 23:00 233K 
[   ]lfmtp13.pdf2013-06-17 16:25 240K 
[   ]unif-sigma-final.pdf2011-04-05 22:45 242K 
[   ]recon-jfp.pdf2012-10-02 10:33 243K 
[   ]uniftab.ps2003-08-15 17:09 244K 
[   ]casehoas.pdf2008-02-28 15:25 246K 
[   ]lfm02.ps2003-08-15 17:09 246K 
[   ]tabexp.ps2003-08-15 17:09 246K 
[   ]ijcar01.pdf2003-08-15 17:09 247K 
[   ]lfmtp16.pdf2016-05-20 21:29 248K 
[   ]sipp_KI97.ps2003-08-15 17:09 249K 
[   ]iclp-slides.pdf2003-08-15 17:09 249K 
[   ]index.ps2003-09-07 20:42 250K 
[   ]reconstruction.pdf2014-03-13 22:20 256K 
[   ]index.ps-22008-08-05 13:46 257K 
[   ]beluga.pdf2008-04-10 14:01 260K 
[   ]iclp02.pdf2003-08-15 17:09 263K 
[   ]oracle-iclp.ps2005-08-04 11:32 264K 
[   ]beluga-overview.pdf2011-04-05 22:45 265K 
[   ]ppdp-pientka.pdf2008-05-29 09:48 269K 
[   ]Dunfield08_case-analysis-hoas.pdf2010-08-10 08:35 269K 
[   ]eftab-long.ps2005-03-09 10:15 275K 
[   ]termred.pdf2005-02-25 18:42 286K 
[   ]talk.pdf2003-08-15 17:09 287K 
[   ]long-index.pdf2007-08-09 11:48 292K 
[   ]unif-sigma-long.pdf2011-04-05 22:45 296K 
[   ]recon.pdf2010-08-10 08:40 297K 
[   ]reconstruction-long.pdf2014-03-13 22:27 299K 
[   ]hoasfun-short.ps2007-11-05 23:00 311K 
[   ]unnesting-copatterns-2015.pdf2015-05-21 14:34 316K 
[   ]proposal.pdf2003-08-15 17:09 316K 
[   ]multilevelcmtt.pdf2011-10-04 09:26 319K 
[   ]plpv04-ferreira.pdf2012-11-27 14:27 322K 
[   ]proposal.ps2003-08-15 17:09 323K 
[   ]copat-compilation.pdf2014-08-01 16:15 328K 
[   ]jfr-archive.zip2015-05-22 16:00 331K 
[   ]recursive-types.pdf2011-10-04 09:29 335K 
[   ]indexed_codata.pdf2016-03-17 09:48 358K 
[   ]index-chap.ps2003-09-04 18:42 368K 
[   ]multilevelcmtt-long.pdf2011-10-04 09:27 373K 
[   ]KI97_final.ps2003-08-15 17:09 389K 
[   ]esop17_ferreira.pdf2017-02-08 05:24 402K 
[   ]jfp15.pdf2014-08-01 16:26 404K 
[   ]plpv-final.ps2006-09-27 13:40 406K 
[   ]tocl.pdf2005-09-22 09:01 411K 
[   ]tocl284-accepted.pdf2007-03-23 21:53 413K 
[   ]ltl.pdf2013-07-19 10:21 414K 
[   ]KreitzPientka00.ps2003-08-15 17:09 415K 
[   ]orbi-jar.pdf2015-01-14 09:03 418K 
[   ]orbi-jar-nov2015.pdf2014-11-27 11:53 418K 
[   ]logrel-journal.pdf2017-11-08 21:50 419K 
[   ]mscs16-a.pdf2017-02-08 05:16 422K 
[   ]mscs2017-benchmark.pdf2017-04-15 04:45 424K 
[   ]jfp15-sized-copat.pdf2016-01-16 13:24 439K 
[   ]KreitzPientka.ps2003-08-15 17:09 440K 
[   ]howes_method_mechanized.pdf2017-11-08 21:50 446K 
[   ]icfp13.pdf2013-07-19 10:24 446K 
[   ]98constructive-tp.ps2003-08-15 17:09 448K 
[   ]thesis.ps.gz2003-12-16 10:35 449K 
[   ]talk3.pdf2003-08-15 17:09 453K 
[   ]tocl-hoindexing.pdf2008-11-08 20:44 454K 
[   ]companion-jar.pdf2014-03-19 09:42 465K 
[   ]talk2.pdf2003-08-15 17:09 470K 
[   ]ltl-long.pdf2013-07-19 10:21 476K 
[   ]ppdp-pientka.ps2008-05-29 09:48 486K 
[   ]beluga.ps2008-04-10 14:01 493K 
[   ]orbi-survey-nov2015.pdf2014-11-27 11:54 494K 
[   ]orbi-survey.pdf2015-01-14 21:42 495K 
[   ]termred.ps2005-02-25 18:42 496K 
[   ]jfr15.pdf2016-01-16 13:24 510K 
[   ]sysf-pts-april2017.pdf2017-04-15 04:44 523K 
[   ]sysf-pts.pdf2017-11-08 21:50 559K 
[   ]icfp13-long.pdf2013-07-19 10:24 572K 
[   ]wfrec-dep.pdf2016-01-16 13:24 608K 
[   ]vtr.ps2004-06-22 12:56 610K 
[   ]wfrec-dep-long.pdf2015-02-07 10:01 616K 
[   ]esop17_lincx.pdf2017-02-24 11:51 620K 
[   ]stratified-april2017.pdf2017-04-15 04:43 683K 
[   ]long-index.ps2007-08-09 11:48 694K 
[   ]long-index.ps-22007-08-09 11:39 721K 
[   ]tocl.ps2005-09-22 09:01 774K 
[   ]tocl-hoindexing.ps2008-11-08 20:45 854K 
[   ]red-elim.ps2008-08-05 13:44 877K 
[   ]red-elim.ps-22008-08-05 13:44 884K 
[   ]pearl.ps2008-08-05 13:40 1.0M 
[   ]pearl.ps-22008-08-05 13:40 1.0M 
[   ]thesis.ps2003-12-16 10:36 1.4M 
[   ]LFMTP-preproceedings.pdf2006-12-14 11:06 1.4M 
[   ]tocl284-accepted.ps2008-08-05 13:37 2.5M 
[   ]tocl284-accepted.ps-22008-08-05 13:37 2.6M 

Apache/2.4.18 (Ubuntu) Server at cs.mcgill.ca Port 80