tomprimozic type-systems issues - Githubissues

tomprimozic / type-systems

Implementations of various type systems in OCaml.

The Unlicense

1.53k stars 72 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

FCP: Use top level annotation instead?

#12 thautwarm opened 4 years ago
1
How I can use the refined types pratically with other languages.

#11 Ayoya22 opened 4 years ago
1
Purpose of hash table `id_var_map` in algorithm w infer instantiate function

#10 lpil closed 6 years ago
2
Is this section in the row poly inference correct?

#9 7sharp9 closed 6 years ago
5
How about recursive function?

#8 rhysd opened 7 years ago
2
Pi, or, Dependent Type (type checking only)

#7 be5invis opened 7 years ago
0
Existential quantification (or, Interfaces)

#6 be5invis opened 7 years ago
0
Bounded quantification (or, typeclasses)

#5 be5invis opened 7 years ago
3
Type system zoo?

#4 stereobooster closed 3 years ago
0
System FC

#3 FrankBro opened 10 years ago
1
First class polymorphism + refined types?

#2 FrankBro opened 10 years ago
9
Readme fix

#1 hamaxx closed 10 years ago
0