Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934): Difference between revisions

@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive characterizations of applicative structures
+Normal rank
@@ Property / cites work @@
+Type-indexed data types
@@ Property / cites work: Type-indexed data types / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+A partial evaluator for the untyped lambda-calculus
+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 @@
+Encoding types in ML-like languages
@@ Property / cites work: Encoding types in ML-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded recursive datatype constructors
@@ Property / cites work: Guarded recursive datatype constructors / rank @@
+Normal rank
@@ Property / cites work @@
+Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism
+Normal rank
@@ Property / cites work @@
+Combinators for program generation
@@ Property / cites work: Combinators for program generation / rank @@
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic autoprojection of recursive equations with global variables and abstract data types
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+A hybrid approach to online and offline partial evaluation
+Normal rank
@@ Property / cites work @@
+Typed cross-module compilation
@@ Property / cites work: Typed cross-module compilation / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Metacircularity in the polymorphic \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Embedded interpreters
@@ Property / cites work: Embedded interpreters / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
+Normal rank
@@ Property / cites work @@
+Typing dynamic typing
@@ Property / cites work: Typing dynamic typing / rank @@
+Normal rank
@@ Property / cites work @@
+Binding-time analysis for both static and dynamic expressions
+Normal rank
@@ Property / cites work @@
+Two-Level Functional Languages
@@ Property / cites work: Two-Level Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness analysis and denotational abstract interpretation
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+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 @@
+Meta-programming with names and necessity
@@ Property / cites work: Meta-programming with names and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank