Index of /~tarau/research/2010

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]ISO.hs03-Jun-2010 18:54 72K 
[   ]ISO.pdf03-Jun-2010 18:56 7.0M 
[DIR]cons/17-Dec-2010 13:02 -  
[TXT]fOBDT.hs09-Apr-2010 01:42 4.3K 
[TXT]fPRIMES.hs14-Jun-2010 13:58 8.7K 
[TXT]fgoedel.hs26-Dec-2010 11:39 3.9K 
[   ]iso.nb12-Jun-2010 07:15 260K 
[TXT]nsf10.hs17-Dec-2010 11:02 3.3K 
[TXT]pOBDT.pl25-Jan-2010 18:31 4.0K 
[   ]pOBDT.pro25-Jan-2010 18:31 4.0K 
[TXT]pPar.pl30-May-2010 10:16 3.2K 
[   ]pPar.pro30-May-2010 10:16 3.2K 
[TXT]selfdelim.hs14-Jun-2010 13:58 4.3K 
[TXT]shared.hs09-May-2010 02:15 16K 
[TXT]short_shared.hs20-Mar-2010 15:34 5.1K 
[   ]slides_fOBDT.pdf17-May-2010 07:49 566K 
[   ]slides_fgoedel.pdf18-May-2010 09:11 205K 
[   ]slides_msfp.pdf25-Sep-2010 08:02 493K 
[   ]slides_ppdp10.pdf26-Jul-2010 22:06 769K 
[   ]tarau_ppdp2010_draft.pdf20-Sep-2010 13:29 274K 
[TXT]unified.hs07-Apr-2010 12:42 6.4K 
[TXT]utypes.hs11-Oct-2010 10:34 11K 

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