Position: Lightweight static resources: Sexy types for embedded and systems programming (2007)

by O Kiselyov, C chieh Shan
Venue:In In TFP 07, the 8th Symposium on Trends in Functional Programming