This website requires JavaScript.
Explore
Help
Register
Sign In
stan
/
Ecoop2024_TIforWildFJ
Watch
1
Star
0
Fork
0
You've already forked Ecoop2024_TIforWildFJ
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
79
Commits
6
Branches
0
Tags
MultiLet
Go to file
Add File
New File
Upload File
Apply Patch
Code
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
Andreas Stadelmeier
4eb7b1ce19
🛠 work in progress
2024-03-04 15:37:21 +01:00
cc-by.pdf
Initial commit. Applying LipICS style to wildcard paper
2023-12-27 14:29:33 +01:00
conclusion.tex
Initial commit. Applying LipICS style to wildcard paper
2023-12-27 14:29:33 +01:00
constraints.tex
🛠 work in progress
2024-03-04 15:37:21 +01:00
introduction.tex
🛠 work in progress sync 🛠
2024-02-28 17:51:41 +01:00
lipics-logo-bw.pdf
Initial commit. Applying LipICS style to wildcard paper
2023-12-27 14:29:33 +01:00
lipics-v2021.cls
Initial commit. Applying LipICS style to wildcard paper
2023-12-27 14:29:33 +01:00
martin.bib
Work in Progress
2024-02-14 01:56:35 +01:00
orcid.pdf
Initial commit. Applying LipICS style to wildcard paper
2023-12-27 14:29:33 +01:00
prolog.tex
Introduce normal type placeholders \ntv
2024-02-12 15:28:44 +01:00
README.md
Update README.md
2023-12-27 13:52:34 +00:00
soundness.tex
🛠 work in progress
2024-03-04 15:37:21 +01:00
TIforWildFJ.tex
🛠 work in progress sync 🛠
2024-02-28 17:51:41 +01:00
tiRules.tex
Cleanup, rephrase introduction. Fix and Cleanup type rules. Remove override
2024-02-07 17:29:41 +01:00
tRules.tex
🛠 work in progress sync 🛠
2024-02-28 17:51:41 +01:00
unify.tex
🛠 work in progress
2024-03-04 15:37:21 +01:00
README.md
Build
pdflatex TIforWildFJ.tex
Reference in New Issue
View Git Blame
Copy Permalink
Description
No description provided
Readme
4.9
MiB
Languages
TeX
100%
