![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[DIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | HaskStrongTypes.v.pdf | 20-Apr-2011 12:09 | 61K | |
| GeneralizedArrowFromReification.v.pdf | 20-Apr-2011 12:09 | 60K | |
| HaskStrongToProof.v.pdf | 20-Apr-2011 12:09 | 58K | |
| HaskProofToStrong.v.pdf | 20-Apr-2011 12:09 | 56K | |
| HaskWeakToStrong.v.pdf | 20-Apr-2011 12:09 | 55K | |
| NaturalDeduction.v.pdf | 20-Apr-2011 12:09 | 53K | |
| General.v.pdf | 20-Apr-2011 12:09 | 50K | |
| HaskProofStratified.v.pdf | 20-Apr-2011 12:09 | 50K | |
| HaskProofFlattener.v.pdf | 20-Apr-2011 12:09 | 45K | |
| HaskProof.v.pdf | 20-Apr-2011 12:09 | 39K | |
| ExtractionMain.v.pdf | 20-Apr-2011 12:09 | 39K | |
| HaskStrong.v.pdf | 20-Apr-2011 12:09 | 37K | |
| HaskProofToLatex.v.pdf | 20-Apr-2011 12:09 | 36K | |
| Preamble.v.pdf | 20-Apr-2011 12:09 | 34K | |
| ReificationsIsomorphicToGeneralizedArrows.v.pdf | 20-Apr-2011 12:09 | 33K | |
| NaturalDeductionCategory.v.pdf | 20-Apr-2011 12:09 | 31K | |
| ProgrammingLanguage.v.pdf | 20-Apr-2011 12:09 | 30K | |
| HaskCoreToWeak.v.pdf | 20-Apr-2011 12:09 | 27K | |
| HaskWeakTypes.v.pdf | 20-Apr-2011 12:09 | 26K | |
| ReificationsAndGeneralizedArrows.v.pdf | 20-Apr-2011 12:09 | 24K | |
| ReificationCategory.v.pdf | 20-Apr-2011 12:09 | 24K | |
| HaskKinds.v.pdf | 20-Apr-2011 12:09 | 24K | |
| Enrichments.v.pdf | 20-Apr-2011 12:09 | 23K | |
| HaskWeakToCore.v.pdf | 20-Apr-2011 12:09 | 23K | |
| GeneralizedArrowCategory.v.pdf | 20-Apr-2011 12:09 | 23K | |
| Reification.v.pdf | 20-Apr-2011 12:09 | 23K | |
| HaskLiteralsAndTyCons.v.pdf | 20-Apr-2011 12:09 | 23K | |
| WeakFunctorCategory.v.pdf | 20-Apr-2011 12:09 | 23K | |
| BijectionLemma.v.pdf | 20-Apr-2011 12:09 | 22K | |
| ProgrammingLanguageFlattening.v.pdf | 20-Apr-2011 12:09 | 22K | |
| ProgrammingLanguageArrow.v.pdf | 20-Apr-2011 12:09 | 21K | |
| ProgrammingLanguageReification.v.pdf | 20-Apr-2011 12:09 | 21K | |
| HaskCoreTypes.v.pdf | 20-Apr-2011 12:09 | 19K | |
| ReificationFromGeneralizedArrow.v.pdf | 20-Apr-2011 12:09 | 19K | |
| HaskCore.v.pdf | 20-Apr-2011 12:09 | 19K | |
| Banner.v.pdf | 20-Apr-2011 12:09 | 19K | |
| HaskWeakVars.v.pdf | 20-Apr-2011 12:09 | 19K | |
| HaskWeak.v.pdf | 20-Apr-2011 12:09 | 18K | |
| HaskCoreVars.v.pdf | 20-Apr-2011 12:09 | 18K | |
| GeneralizedArrow.v.pdf | 20-Apr-2011 12:09 | 18K | |
| ProgrammingLanguageGeneralizedArrow.v.pdf | 20-Apr-2011 12:09 | 16K | |
| Extraction.v.pdf | 20-Apr-2011 12:09 | 13K | |
| All.v.pdf | 20-Apr-2011 12:09 | 11K | |
|
|---|