×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of ilya-sergey
Static Analysis and Code Optimizations in Glasgow Haskell Compiler
3.956 views
A correspondence between type checking via reduction and type checking via evaluation
220 views