Refined Environment Classifiers (Q3179298): Difference between revisions

@@ Property / cites work @@
+Q2754131
@@ Property / cites work: Q2754131 / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-programming through typeful code representation
+Normal rank
@@ Property / cites work @@
+Monadic regions
@@ Property / cites work: Monadic regions / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic modal type system for lisp-like multi-staged languages
+Normal rank
@@ Property / cites work @@
+ML             <sup>F</sup>
@@ Property / cites work: ML <sup>F</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A fresh look at programming with names and binders
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators for program generation
@@ Property / cites work: Combinators for program generation / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank