Comprehensive Comprehensions, Phil Wadler and Simon Peyton Jones
"The new constructs proposed here are more general than the constructs in the other languages, because they work with any function of a given type, rather than being limited to speciï¬c functions. Parametricity of these functions plays an important role in ensuring the semantics of such constructs is independent of particular details of how tuples of bindings are represented."
Recent comments
16 weeks 1 day ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 7 hours ago
51 weeks 4 days ago
51 weeks 4 days ago