Normalization by evaluation for typed lambda calculus with coproducts
T Altenkirch, P Dybjer, M Hofmann… - … 16th Annual IEEE …, 2001 - ieeexplore.ieee.org
Solves the decision problem for the simply typed lambda calculus with a strong binary sum,
or, equivalently, the word problem for free Cartesian closed categories with binary co …
or, equivalently, the word problem for free Cartesian closed categories with binary co …
Using Small Abstractions to Program Large Distributed Systems
Distributed systems such as clusters, clouds and grids remain a difficult platform for
executing large data intensive workloads. Even sophisticated users struggle to shape …
executing large data intensive workloads. Even sophisticated users struggle to shape …