Andreas Stadelmeier stan

2 Followers · 2 Following

• Joined on 2023-11-14

Repositories

10

Projects Packages Public Activity Starred Repositories

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-17 14:45:29 +00:00

0c51692936 Intro

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-17 10:59:36 +00:00

6702d9b0cb Java local Type inference intro

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-16 22:11:29 +00:00

bbe5d4f065 Fix Input/Output syntax

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-16 17:28:01 +00:00

91f42d26f6 Motivation example

ed988fdacf Motivation: comparision to local type inference

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-11 16:02:31 +00:00

f5ddc65497 Motivationsbeispiel

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-11 11:19:00 +00:00

5bcffb7d70 Add TODO. Fix introduction example (WIP). Add explanation to UNify (WIP)

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-10 15:43:09 +00:00

24cfd8cb75 Rephrase Triple example

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-10 13:35:31 +00:00

b78594cf39 Triple example

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-10 10:59:46 +00:00

9285f7b394 example Pair and Triple

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-10 09:27:55 +00:00

b577881d92 Pair example

stan pushed to master at stan/WildFJ-Typeinference 2024-04-09 23:17:01 +00:00

a000b0b13b Rules

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-09 23:16:38 +00:00

3a9f2d3e16 Remove Same rule. SameW rule is for both constraints

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-08 20:51:11 +00:00

4b183937f5 Comments

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-08 19:45:59 +00:00

079bb914e4 Explain let scoping in unify

5718c42e28 Change principal type problem in introduction

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-07 17:52:45 +00:00

2b41b56498 COmments and Flatten rule. Description for step 3

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-05 10:24:47 +00:00

2273acadad FIx

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-04 12:38:21 +00:00

ed58017551 Wildcard placeholders

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-03 19:01:37 +00:00

0c89f28b18 Comments

41a01d3abc Fix S-Exists

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-03 13:54:32 +00:00

e562c65774 Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ

21328a3d05 Unify

Compare 2 commits »

stan pushed to completeness at stan/Ecoop2024_TIforWildFJ 2024-04-02 22:51:05 +00:00

5371824a55 Comments