Refined Environment Classifiers (Q3179298): Difference between revisions

@@ Property / describes a project that uses @@
+Freshml
@@ Property / describes a project that uses: Freshml / 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.1007/978-3-319-47958-3_15
+Normal rank
@@ Property / OpenAlex ID @@
+W2528770764
@@ Property / OpenAlex ID: W2528770764 / rank @@
+Normal rank
@@ 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