research
∙
03/21/2018
An extended type system with lambda-typed lambda-expressions
We present the system d, an extended type system with lambda-typed lambd...
share
research
∙
03/20/2018
Generic Library Interception for Improved Performance Measurement and Insight
As applications grow in capability, they also grow in complexity. This c...
research
∙
03/17/2018
An extended type system with lambda-typed lambda-expressions (extended version)
We present the type system d, an extended type system with lambda-typed ...
research
∙
12/01/2017