other page actions:
sorted by: recent | see :
popular
Content Tagged fundeps
Type Classes with Functional Dependencies
Original article on fundeps
Fun with Functional Dependencies
Since computations on the type level are performed by the type checker,
these computations are static (i.e., performed at compile-time), and,
since the type system is decidable, they always terminate.
