Commit Graph

14 Commits

Author SHA1 Message Date
Andreas Stadelmeier
77f3fbedfa Cleanup and Restructure. Remove polymorphic recursion exclusion from Type Rules 2024-05-13 23:58:42 +02:00
JanUlrich
ed988fdacf Motivation: comparision to local type inference 2024-04-15 15:45:16 +02:00
pl@gohorb.ba-horb.de
4c9e639c71 modified: martin.bib 2024-04-12 19:49:41 +02:00
pl@gohorb.ba-horb.de
2825f120ea modified: martin.bib
modified:   relatedwork.tex
2024-04-12 19:42:11 +02:00
pl@gohorb.ba-horb.de
4ef46f3273 modified: martin.bib 2024-04-12 01:09:40 +02:00
pl@gohorb.ba-horb.de
75dc20366d modified: TIforWildFJ.tex
modified:   martin.bib
	modified:   prolog.tex
	new file:   relatedwork.tex
2024-04-12 00:25:47 +02:00
Andreas Stadelmeier
5bcffb7d70 Add TODO. Fix introduction example (WIP). Add explanation to UNify (WIP) 2024-04-11 13:18:54 +02:00
Andreas Stadelmeier
e9f86ffda3 Add A-Normal Form transform 2024-03-18 14:57:56 +01:00
Andreas Stadelmeier
c7212cd7c6 Introduce new challenge (principal type). Restructure and remove some parts. 2024-03-13 00:30:16 +01:00
JanUlrich
9a7195d261 Add reference 2024-03-11 18:02:44 +01:00
Andreas Stadelmeier
5055364de5 Add Recap in introduction 2024-03-07 03:32:56 +01:00
Andreas Stadelmeier
c880503ba5 Work in Progress 2024-02-14 01:56:35 +01:00
JanUlrich
6c716c5138 Add to introduction 2024-02-07 10:28:28 +01:00
Andreas Stadelmeier
8f3d49d70f Initial commit. Applying LipICS style to wildcard paper 2023-12-27 14:29:33 +01:00