Index of /~tarau/research/bijectiveNSF

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]AlgT.scala03-Jun-2012 08:20 10K 
[TXT]Bij2.v.txt15-Jun-2011 15:25 7.8K 
[DIR]C_version/17-Jun-2011 11:51 -  
[TXT]ISO.hs03-Jun-2010 18:54 72K 
[   ]ISO.pdf03-Jun-2010 18:56 7.0M 
[   ]cgoedel.pdf21-Mar-2013 11:03 292K 
[   ]ciclops11_comp.pdf07-Jul-2011 09:52 960K 
[TXT]compWithTypes.hs23-Apr-2013 15:13 7.9K 
[   ]computingWithTypes.pdf23-Apr-2013 17:34 531K 
[   ]cons2011_06_17_11.zip17-Jun-2011 11:47 3.1K 
[TXT]freealg.hs13-Nov-2012 13:29 3.2K 
[   ]freealg.pdf03-Jun-2012 08:16 290K 
[   ]giant.pdf21-Mar-2013 11:06 535K 
[   ]jISO.zip23-Apr-2013 14:44 6.2M 
[DIR]jISO/15-Jun-2011 13:32 -  
[TXT]jprimes.hs27-Feb-2012 07:54 8.4K 
[   ]padl12.pdf24-Jan-2012 14:34 1.0M 
[TXT]padl12.pl07-Nov-2011 15:27 3.2K 
[   ]pcantor.pdf25-Mar-2012 15:46 342K 
[TXT]serpro.pl14-Apr-2013 08:26 7.3K 
[   ]slides_CompMath.pdf28-Nov-2011 16:17 1.8M 
[   ]slides_SYNASC_freealg.pdf28-Sep-2012 21:17 223K 
[   ]slides_ciclops11bij.pdf10-Jul-2011 13:25 463K 
[   ]slides_fgoedel.pdf18-May-2010 09:11 205K 
[   ]slides_hOBDT.pdf29-Sep-2012 03:27 155K 
[   ]slides_iclp12.pdf26-Oct-2012 10:14 128K 
[   ]slides_ictac11.pdf28-Nov-2011 16:14 275K 
[   ]slides_ismm11_ideas.pdf06-Jul-2011 12:45 170K 
[   ]slides_msfp.pdf25-Sep-2010 08:02 493K 
[   ]slides_ppdp10.pdf15-Sep-2012 00:18 639K 
[   ]slides_treecomps.pdf13-Nov-2012 11:04 162K 
[   ]tarau_ictac11.pdf28-Nov-2011 16:21 1.7M 
[   ]tarau_ppdp2010_draft.pdf20-Sep-2010 13:29 274K 

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