inc-lc ilc-scala issues

inc-lc / ilc-scala

Scala implementation of ILC, with benchmarks

http://inc-lc.github.io/

Other

25 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Down with old type inference

#26 Blaisorblade closed 8 years ago
0
Implement Hindley-Milner type inference

#25 Blaisorblade closed 8 years ago
1
Adjust Travis configuration

#24 Blaisorblade closed 9 years ago
1
Tune homegrown bags

#23 Blaisorblade closed 9 years ago
1
Prototype memoization-by-reference

#22 Blaisorblade closed 9 years ago
2
Hand written examples of incrementalization via memoization

#21 Blaisorblade closed 9 years ago
1
Reimplement pretty-printing through Kiama

#20 yfcai closed 9 years ago
2
CBPV #2

#19 Blaisorblade closed 8 years ago
4
Rewrite type inference for principal typings (#15)

#18 Blaisorblade closed 9 years ago
0
Use alpha equivalence in BetaReduction (fix #11)

#17 Blaisorblade closed 9 years ago
0
Split out old type inference infrastructure

#16 Blaisorblade closed 8 years ago
2
Type inference for open terms / principal typings

#15 Blaisorblade closed 9 years ago
4
Miscs changes from CBPV branch

#14 Blaisorblade closed 9 years ago
0
Use Name for all names

#13 Blaisorblade closed 9 years ago
0
Implement pretty-printing for types and separate it from Type.toString

#12 Blaisorblade closed 9 years ago
17
Use alpha-equivalence in beta-reduction and elsewhere

#11 Blaisorblade closed 9 years ago
2
Split Type.toString from pretty-printing

#10 Blaisorblade closed 9 years ago
1
Start sketching CBPV implementation in Scala

#9 Blaisorblade closed 9 years ago
2
Clean stability analysis, v2

#8 Blaisorblade closed 10 years ago
0
Clean stability analysis

#7 Blaisorblade closed 10 years ago
0
A-normalization & static caching, again

#6 Blaisorblade closed 10 years ago
1
Extensions from ICFP contest

#5 Blaisorblade closed 10 years ago
4
Type inference has at least quadratic complexity because of immutability & bad algs.

#4 Blaisorblade opened 10 years ago
2
Type inference doesn't run in constant stack space

#3 Blaisorblade closed 10 years ago
1
A-normalization, part 2

#2 Blaisorblade closed 10 years ago
9
Support A-normalization, CSE & cleanups

#1 Blaisorblade closed 10 years ago
3