Skip to content

Releases: jiangsy/worklist_intersection_union

submission version

12 Jul 15:24
@jiangsy jiangsy
v1.1
09908b9
This commit was signed with the committer’s verified signature.
cu1ch3n Cui Chen
SSH Key Fingerprint: ddDhqx2Yk+5sZYLfZd4AuZuXu8dVwk7YNCESDTAff1o Learn about vigilant mode.
Compare
Choose a tag to compare
submission version Latest
Latest 
v1.1

map examples
Assets 2
Loading

a sound and complete and decidable algo for non-mono intersection/union type

30 Jun 16:49
@jiangsy jiangsy
v1.0
dae743e
This commit was signed with the committer’s verified signature.
cu1ch3n Cui Chen
SSH Key Fingerprint: ddDhqx2Yk+5sZYLfZd4AuZuXu8dVwk7YNCESDTAff1o Learn about vigilant mode.
Compare
Choose a tag to compare
a sound and complete and decidable algo for non-mono intersection/union type 
v1.0

- qed prop_decidability
Assets 2
Loading

a sound and complete algo for non-mono intersection/union type with stronger wf

23 Apr 11:12
@jiangsy jiangsy
v0.9
2db98c8
Compare
Choose a tag to compare
a sound and complete algo for non-mono intersection/union type with stronger wf 
v0.9

- update notation and prepare for the new decl rules
Assets 2
Loading

a sound and complete algo for non-mono intersection/union type

17 Apr 15:58
@jiangsy jiangsy
v0.8
7578a44
Compare
Choose a tag to compare
a sound and complete algo for non-mono intersection/union type 
v0.8

Merge branch 'master' of github.com:jiangsy/worklist_subtpying
Assets 2
Loading