Type-specialized staged programming with process separation (Q1929349): Difference between revisions

@@ 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/s10990-012-9089-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2057754704
@@ Property / OpenAlex ID: W2057754704 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to generalized type systems
@@ Property / cites work: Introduction to generalized type systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Agda – A Functional Language with Dependent Types
+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 @@
+Combining programming with theorem proving
@@ Property / cites work: Combining programming with theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional polymorphism in type-erasure  semantics
+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 @@
+A type system for well-founded recursion
@@ Property / cites work: A type system for well-founded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222755
@@ Property / cites work: Q4222755 / rank @@
+Normal rank
@@ Property / cites work @@
+Macros as multi-stage computations
@@ Property / cites work: Macros as multi-stage computations / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded existentials and minimal typing
@@ Property / cites work: Bounded existentials and minimal typing / rank @@
+Normal rank
@@ Property / cites work @@
+A variable typed logic of effects
@@ Property / cites work: A variable typed logic of effects / rank @@
+Normal rank
@@ Property / cites work @@
+Shifting the stage
@@ Property / cites work: Shifting the stage / rank @@
+Normal rank
@@ Property / cites work @@
+A modular module system
@@ Property / cites work: A modular module system / rank @@
+Normal rank
@@ Property / cites work @@
+Type-specialized staged programming with process separation
+Normal rank
@@ Property / cites work @@
+Q4417870
@@ Property / cites work: Q4417870 / rank @@
+Normal rank
@@ Property / cites work @@
+Inlining as staged computation
@@ Property / cites work: Inlining as staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-programming with names and necessity
@@ Property / cites work: Meta-programming with names and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Ynot
@@ Property / cites work: Ynot / rank @@
+Normal rank
@@ Property / cites work @@
+Tagless staged interpreters for typed languages
@@ Property / cites work: Tagless staged interpreters for typed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2712585
@@ Property / cites work: Q2712585 / rank @@
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank