Giters
nuprl
/
gradual-typing-performance
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
45
Issues:
34
Forks:
5
nuprl/gradual-typing-performance Issues
website, to view datasets
Closed
3 years ago
Comments count
1
Lighten `benchmark-util` dependency
Closed
8 years ago
Comments count
3
wishlist: require/typed/check should desugar to an "only-in"
Closed
8 years ago
Comments count
2
Gregor Doesn't Work for Me
Closed
8 years ago
Comments count
4
Don't duplicate READMEs in benchmarks
Closed
8 years ago
Comments count
2
Module graphs as Racket values
Closed
8 years ago
Comments count
1
Synth does not type check with Racket HEAD
Closed
9 years ago
Comments count
3
clarify: Benchmarks vs. Programs
Closed
9 years ago
Comments count
1
GC time increasing?
Closed
9 years ago
Comments count
2
Clarify: many possible typings
Closed
9 years ago
Benchmark authorship
Closed
9 years ago
Artifact: higher quality wallpaper
Closed
9 years ago
Comments count
2
Artifact: missing README in the VM
Closed
9 years ago
Comments count
2
Artifact: running mbta fails to produce a plot
Closed
9 years ago
Comments count
1
Artifact: running morsecode fails
Closed
9 years ago
Comments count
1
Feedback on README
Closed
9 years ago
Comments count
1
Data + Code freely available
Closed
9 years ago
Comments count
5
postmortem
Closed
9 years ago
Comments count
3
Add note: recovering imports/exports
Closed
9 years ago
Comments count
2
typed / typed / typed / typed
Closed
9 years ago
Comments count
1
Check overhead in suffixtree section
Closed
9 years ago
Comments count
1
MBTA pathology explanation
Closed
9 years ago
Comments count
1
Re-run on different inputs
Closed
9 years ago
Comments count
2
Add N-deliv. and N/M-usa. to Fig 3/4
Closed
9 years ago
Comments count
1
Comments: Related Work
Closed
9 years ago
Comments count
2
Colors
Closed
9 years ago
Comments count
2
Replace echo/sieve with l-nm
Closed
9 years ago
Comments count
5
Re-run kcfa
Closed
9 years ago
Comments count
2
Threats to validity section
Closed
9 years ago
Comments count
1
"Configuration" abstraction
Closed
9 years ago
Comments count
1
Morse code overhead?
Closed
9 years ago
Comments count
5
Figure 1: LOC questions
Closed
9 years ago
Comments count
2
L-M-N figures
Closed
9 years ago
Comments count
1
HTDP mixin needs a type
Updated
9 years ago