First Page | Document Content | |
---|---|---|
Date: 2011-12-02 22:36:27Data types Procedural programming languages Type theory Program analysis Type system Generator C Anonymous function List comprehension Computing Software engineering Computer programming | Computational Effects across Generated Binders Part 1: Problems and solutions Yukiyoshi Kameyama Oleg Kiselyov University of TsukubaAdd to Reading ListSource URL: okmij.orgDownload Document from Source WebsiteFile Size: 171,12 KBShare Document on Facebook |