![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AlgT.scala | 03-Jun-2012 08:20 | 10K | |
| Synasc12_Program.pdf | 26-Sep-2012 01:00 | 112K | |
| Visuals.hs | 27-Feb-2012 07:35 | 3.0K | |
| freealg.hs | 13-Nov-2012 13:29 | 3.2K | |
| freealg.pdf | 03-Jun-2012 08:16 | 290K | |
| fsyn.hs | 16-Oct-2012 10:03 | 4.0K | |
| gtypes.pl | 21-Jan-2012 12:38 | 2.9K | |
| gtypes.pro | 21-Jan-2012 12:38 | 2.9K | |
| hOBDT.hs | 11-Sep-2011 13:00 | 3.7K | |
| hOBDT.pdf | 28-Jun-2013 14:08 | 251K | |
| infpair.hs | 02-May-2012 13:18 | 4.2K | |
| infpair.pdf | 02-May-2012 13:14 | 365K | |
| jprimes.hs | 23-Mar-2014 15:14 | 7.7K | |
| jtypes.hs | 14-Jan-2013 09:12 | 8.4K | |
| nsf_proposal13.hs | 10-Dec-2012 18:53 | 6.3K | |
| padl12.key | 24-Jan-2012 14:34 | 2.0M | |
| padl12.pdf | 24-Jan-2012 14:34 | 1.0M | |
| padl12.pl | 07-Nov-2011 15:27 | 3.2K | |
| padl12.pro | 07-Nov-2011 15:27 | 3.2K | |
| pcantor.pdf | 25-Mar-2012 15:46 | 342K | |
| pcantor.pl | 25-Mar-2012 15:47 | 5.7K | |
| slides_SYNASC_freealg.hs | 27-Sep-2012 23:19 | 6.2K | |
| slides_SYNASC_freealg.pdf | 28-Sep-2012 05:17 | 223K | |
| slides_ags.pdf | 26-Oct-2012 09:59 | 304K | |
| slides_fsyn.pdf | 26-Oct-2012 09:59 | 104K | |
| slides_hOBDT.pdf | 29-Sep-2012 03:27 | 155K | |
| slides_iclp12.pdf | 26-Oct-2012 10:14 | 128K | |
| stypes.hs | 30-Oct-2011 15:23 | 7.9K | |
| views.hs | 13-Nov-2012 13:27 | 2.3K | |