Quantcast
Channel: Lambdalog
Browsing latest articles
Browse All 6 View Live

Reifying Type Classes with GADTs

This year I’ve been contributing to Accelerate, an embedded language for regular, multi-dimensional array computations targetting high-performance back-ends such as NVIDIA GPUs. Even a cursory glance...

View Article

Browsing latest articles
Browse All 6 View Live