FreezeML is a new approach to first-class polymorphic type inference tha...
ML is remarkable in providing statically typed polymorphism without the
...
Common programming tools, like compilers, debuggers, and IDEs, crucially...
Scientific progress increasingly depends on data management, particularl...
Program slicing provides explanations that illustrate how program output...