stan/Ecoop2024_TIforWildFJ
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
199 Commits 6 Branches 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
JanUlrich 0c260eef12 Start with cctv and soundness proof
2024-07-23 10:47:20 +02:00
.gitignore
intro
2024-05-28 18:21:37 +02:00
conclusion.tex
Final Version and Submission to ESOP Round 1
2024-05-31 13:52:18 +02:00
constraints.tex
Final Version and Submission to ESOP Round 1
2024-05-31 13:52:18 +02:00
fig1.eps
Change to LLNCS style
2024-05-17 13:30:21 +02:00
helpers.tex
Cleanup, Fixes and Restructuring
2024-05-31 00:10:22 +02:00
introduction.tex
Cleanup, Fixes and Restructuring
2024-05-31 00:10:22 +02:00
letfjTransformation.tex
Cleanup and remove capture conversion chapter
2024-03-05 18:31:50 +01:00
llncs.cls
Change to LLNCS style
2024-05-17 13:30:21 +02:00
martin.bib
Cleanup and Restructure. Remove polymorphic recursion exclusion from Type Rules
2024-05-13 23:58:42 +02:00
prolog.tex
Fixes for Soundness Proof. Start with Capture Conversion at Subst-Step and introduce ccTVs
2024-07-17 16:15:24 +02:00
README.md
Update README.md
2023-12-27 13:52:34 +00:00
relatedwork.tex
Fix Related Work. Adapt Soundness proof
2024-05-31 11:49:44 +02:00
soundness.tex
Start with cctv and soundness proof
2024-07-23 10:47:20 +02:00
splncs04.bst
Change to LLNCS style
2024-05-17 13:30:21 +02:00
TIforWildFJ.tex
Start with cctv and soundness proof
2024-07-23 10:47:20 +02:00
tiRules.tex
Cleanup, rephrase introduction. Fix and Cleanup type rules. Remove override
2024-02-07 17:29:41 +01:00
todo-11.4.24
Motivationsbeispiel
2024-04-11 18:02:25 +02:00
tRules.tex
Final Version and Submission to ESOP Round 1
2024-05-31 13:52:18 +02:00
typeinference.tex
Final Version and Submission to ESOP Round 1
2024-05-31 13:52:18 +02:00
unify.tex
Start with cctv and soundness proof
2024-07-23 10:47:20 +02:00

README.md

Build

pdflatex TIforWildFJ.tex

Description
No description provided
Readme 4.9 MiB
Languages
TeX 100%