![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00README | 2017-09-26 20:10 | 150 | |
| 1996/ | 2017-09-26 20:12 | - | |
| 1997/ | 2017-09-26 20:12 | - | |
| 2009/ | 2017-09-26 20:12 | - | |
| 2010/ | 2017-09-26 20:12 | - | |
| 2011/ | 2017-09-26 20:12 | - | |
| 2012/ | 2017-09-26 20:12 | - | |
| 2013/ | 2017-09-26 20:12 | - | |
| 2014/ | 2017-09-26 20:12 | - | |
| 2015/ | 2017-09-26 20:12 | - | |
| 2016/ | 2017-09-26 20:12 | - | |
| 2017/ | 2017-09-26 20:12 | - | |
| AgdaClosureBlock_TyD..> | 2016-08-31 09:04 | 234K | |
| AlgSDP_Krook_Jansson..> | 2019-07-03 11:59 | 455K | |
| AlgSDP_Krook_Jansson..> | 2019-07-22 10:48 | 758K | |
| Algehed_Jansson_VisP..> | 2017-07-14 22:59 | 663K | |
| Algehed_Jansson_VisP..> | 2017-06-09 23:30 | 589K | |
| Algehed_Jansson_et_a..> | 2018-11-30 23:05 | 1.0M | |
| CompTheoryPolicyAdvi..> | 2016-11-11 23:54 | 345K | |
| CompTheoryPolicyAdvi..> | 2016-01-08 08:42 | 315K | |
| CompTheoryPolicyAdvi..> | 2017-05-02 09:58 | 356K | |
| CompTheoryPolicyAdvi..> | 2017-09-26 18:54 | 315K | |
| CompTheoryPolicyAdvi..> | 2015-03-28 15:47 | 407K | |
| Concepts/ | 2017-09-26 20:12 | - | |
| DAT325.pdf | 2015-02-06 14:12 | 126K | |
| DIT982.pdf | 2015-01-29 13:20 | 153K | |
| DSLofMath.pdf | 2014-04-30 12:27 | 96K | |
| DSLsofGSS.pdf | 2014-10-09 08:48 | 443K | |
| DSLsofGSS_position_p..> | 2014-10-03 22:25 | 138K | |
| DSLsofMath.pdf | 2014-04-30 12:27 | 96K | |
| ExtEqPres_JFP_submit..> | 2020-07-16 17:11 | 216K | |
| FLABloM_TYPES_2016_p..> | 2016-08-08 14:41 | 213K | |
| FP Winter Meeting 9-..> | 2019-01-11 10:39 | 89K | |
| FunC_application.pdf | 2010-03-04 13:36 | 234K | |
| IMPACT_2007_2009.pdf | 2010-03-11 00:40 | 4.7M | |
| IMPACT_SEFI_2009_fin..> | 2009-09-11 15:29 | 345K | |
| Ionescu_Jansson_DSLs..> | 2015-04-17 19:42 | 123K | |
| Ionescu_Jansson_DSLs..> | 2015-09-19 22:40 | 180K | |
| JanssonFulop2013Sust..> | 2013-03-22 15:05 | 186K | |
| Janssonetal_DSLsofMa..> | 2018-05-16 12:34 | 160K | |
| Janssonetal_DSLsofMa..> | 2018-08-24 22:39 | 167K | |
| LibTrust_VR_2016_Jan..> | 2016-04-05 16:16 | 149K | |
| MetaDSL_preprint_201..> | 2011-03-25 23:05 | 426K | |
| NordlanderJansson_AS..> | 2016-09-03 22:10 | 304K | |
| PFP_application_2012..> | 2012-04-13 23:48 | 163K | |
| PatrikJanssonProfLec..> | 2015-08-21 11:55 | 3.5M | |
| Polytypic_AFP96.pdf | 2010-09-28 03:05 | 281K | |
| Polytypic_Programmin..> | 2010-09-28 03:05 | 281K | |
| RAWFP_Kickoff_2011_N..> | 2011-05-24 11:17 | 2.3M | |
| RAWFP_Kickoff_2011_N..> | 2011-05-24 11:28 | 1.8M | |
| RAWFP_Kickoff_2011_S..> | 2011-05-24 21:21 | 112K | |
| SciDeR.pdf | 2018-04-10 10:57 | 89K | |
| SciDeR_VR-applicatio..> | 2018-04-10 10:57 | 89K | |
| SeqDecProbDepType_LM..> | 2015-03-28 11:09 | 254K | |
| SeqDecProbDepType_LM..> | 2015-07-29 12:10 | 291K | |
| SeqDecProbDepType_LM..> | 2016-08-29 14:39 | 293K | |
| SeqDecProbDepType_LM..> | 2016-02-26 23:23 | 303K | |
| StrongLibDistProf_S.pdf | 2013-09-10 19:41 | 272K | |
| StrongLibDistProf_fu..> | 2013-09-10 19:42 | 738K | |
| StrongLibYoung2013_f..> | 2013-09-10 18:46 | 95K | |
| TypeTheory4ModProg_p..> | 2018-05-19 18:25 | 222K | |
| TypeTheory4ModProg_p..> | 2018-08-14 15:33 | 230K | |
| VP2014_CSE_Strategis..> | 2014-08-25 16:27 | 59K | |
| VR_Jansson_LibTrust_..> | 2014-04-09 16:00 | 867K | |
| VR_Jansson_StrongLib..> | 2011-04-13 15:17 | 745K | |
| VR_Jansson_StrongLib..> | 2013-04-11 18:59 | 827K | |
| VR_Jansson_StrongLib..> | 2015-04-01 13:45 | 1.0M | |
| ValiantAgda_2014-07-..> | 2015-04-01 13:24 | 268K | |
| ValiantAgda_2015-09-..> | 2015-09-21 13:43 | 297K | |
| old/ | 2017-09-26 20:12 | - | |
| old_index.html | 2015-04-13 11:20 | 4.7K | |
| polypPOPL97.pdf | 2010-09-28 03:57 | 251K | |
| polypPOPL97.ps | 2010-09-28 03:55 | 406K | |
| wgp09/ | 2017-09-26 20:12 | - | |