Supercompilation for Martin-Lof's type theory (Q300348): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The concept of a supercompiler
@@ Property / cites work: The concept of a supercompiler / rank @@
+Normal rank
@@ Property / cites work @@
+Verification as a parameterized testing (experiments with the SCP4 supercompiler)
+Normal rank
@@ Property / cites work @@
+Higher-level supercompilation as a metasystem transition
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003339
@@ Property / cites work: Q4003339 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Foundations for Programming Languages
@@ Property / cites work: Practical Foundations for Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on the universality and expressiveness of fold
+Normal rank
@@ Property / cites work @@
+Q4736399
@@ Property / cites work: Q4736399 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tutorial Implementation of a Dependently Typed Lambda Calculus
+Normal rank