Index of /~tarau/research/2012

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]AlgT.scala03-Jun-2012 08:20 10K 
[   ]Synasc12_Program.pdf26-Sep-2012 01:00 112K 
[TXT]Visuals.hs27-Feb-2012 07:35 3.0K 
[TXT]freealg.hs13-Nov-2012 13:29 3.2K 
[   ]freealg.pdf03-Jun-2012 08:16 290K 
[TXT]fsyn.hs16-Oct-2012 10:03 4.0K 
[TXT]gtypes.pl21-Jan-2012 12:38 2.9K 
[   ]gtypes.pro21-Jan-2012 12:38 2.9K 
[TXT]hOBDT.hs11-Sep-2011 13:00 3.7K 
[   ]hOBDT.pdf28-Jun-2013 14:08 251K 
[VID]iclp12_talk.mov02-Sep-2012 11:03 75M 
[TXT]infpair.hs02-May-2012 13:18 4.2K 
[   ]infpair.pdf02-May-2012 13:14 365K 
[TXT]jprimes.hs23-Mar-2014 15:14 7.7K 
[TXT]jtypes.hs14-Jan-2013 09:12 8.4K 
[TXT]nsf_proposal13.hs10-Dec-2012 18:53 6.3K 
[   ]padl12.key24-Jan-2012 14:34 2.0M 
[   ]padl12.pdf24-Jan-2012 14:34 1.0M 
[TXT]padl12.pl07-Nov-2011 15:27 3.2K 
[   ]padl12.pro07-Nov-2011 15:27 3.2K 
[   ]pcantor.pdf25-Mar-2012 15:46 342K 
[TXT]pcantor.pl25-Mar-2012 15:47 5.7K 
[TXT]slides_SYNASC_freealg.hs27-Sep-2012 23:19 6.2K 
[   ]slides_SYNASC_freealg.pdf28-Sep-2012 05:17 223K 
[   ]slides_ags.pdf26-Oct-2012 09:59 304K 
[   ]slides_fsyn.pdf26-Oct-2012 09:59 104K 
[   ]slides_hOBDT.pdf29-Sep-2012 03:27 155K 
[   ]slides_iclp12.pdf26-Oct-2012 10:14 128K 
[TXT]stypes.hs30-Oct-2011 15:23 7.9K 
[VID]synascFreeAlg.mov28-Sep-2012 06:48 249M 
[VID]synascOBDTs.mov29-Sep-2012 05:15 79M 
[TXT]views.hs13-Nov-2012 13:27 2.3K 

Apache/2.2.22 (Ubuntu) Server at www.cse.unt.edu Port 80