Type-Safe Code Transformations in Haskell (Q2866331): Difference between revisions

@@ Property / cites work @@
+Associated types with class
@@ Property / cites work: Associated types with class / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472910
@@ Property / cites work: Q5472910 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+A syntactic approach to foundational proof-carrying code
+Normal rank
@@ Property / cites work @@
+Q2729056
@@ Property / cites work: Q2729056 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in Ωmega
@@ Property / cites work: Programming in Ωmega / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-programming With Built-in Type Equality
@@ Property / cites work: Meta-programming With Built-in Type Equality / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible representation analysis
@@ Property / cites work: Flexible representation analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for certified binaries
@@ Property / cites work: A type system for certified binaries / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking with open type functions
@@ Property / cites work: Type checking with open type functions / rank @@
+Normal rank
@@ Property / cites work @@
+Boxes go bananas
@@ Property / cites work: Boxes go bananas / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank