A Logical Foundation for Environment Classifiers (Q5902143): Difference between revisions

@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1960887414
@@ Property / OpenAlex ID: W1960887414 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3806
@@ Property / arXiv ID: 1010.3806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+A tour of tempo: a program specializer for the C language
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic modal type system for lisp-like multi-staged languages
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive linear-time temporal logic: proof systems and Kripke semantics
+Normal rank
@@ Property / cites work @@
+Staged computation with names and necessity
@@ Property / cites work: Staged computation with names and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Closed types for a safe imperative MetaML
@@ Property / cites work: Closed types for a safe imperative MetaML / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413069
@@ Property / cites work: Q4413069 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789445
@@ Property / cites work: Q4789445 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Letcc via Labelled Deduction
@@ Property / cites work: Intuitionistic Letcc via Labelled Deduction / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5902143