Libraries for Generic Programming in Haskell (Q3649135): Difference between revisions

@@ Property / cites work @@
+Q4736984
@@ Property / cites work: Q4736984 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4816996
@@ Property / cites work: Q4816996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4825542
@@ Property / cites work: Q4825542 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703708
@@ Property / cites work: Q2703708 / rank @@
+Normal rank
@@ Property / cites work @@
+An extended comparative study of language support for generic programming
+Normal rank
@@ Property / cites work @@
+Generics for the masses
@@ Property / cites work: Generics for the masses / rank @@
+Normal rank
@@ Property / cites work @@
+Generics for the masses
@@ Property / cites work: Generics for the masses / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Generic programming in 3D
@@ Property / cites work: Generic programming in 3D / rank @@
+Normal rank
@@ Property / cites work @@
+“Scrap Your Boilerplate” Revolutions
@@ Property / cites work: “Scrap Your Boilerplate” Revolutions / rank @@
+Normal rank
@@ Property / cites work @@
+“Scrap Your Boilerplate” Reloaded
@@ Property / cites work: “Scrap Your Boilerplate” Reloaded / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Views on Data Types
@@ Property / cites work: Generic Views on Data Types / rank @@
+Normal rank
@@ Property / cites work @@
+Libraries for Generic Programming in Haskell
@@ Property / cites work: Libraries for Generic Programming in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Scrap more boilerplate
@@ Property / cites work: Scrap more boilerplate / rank @@
+Normal rank
@@ Property / cites work @@
+Scrap your boilerplate with class
@@ Property / cites work: Scrap your boilerplate with class / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures and program transformation
@@ Property / cites work: Data structures and program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of Functional Languages
@@ Property / cites work: Implementation of Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945203
@@ Property / cites work: Q4945203 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic programming with fixed points for mutually recursive datatypes
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank