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

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TALx86
@@ Property / describes a project that uses: TALx86 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TIL
@@ Property / describes a project that uses: TIL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.10.036
+Normal rank
@@ Property / OpenAlex ID @@
+W2026691974
@@ Property / OpenAlex ID: W2026691974 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2866331