Q6079229 (Q6079229): Difference between revisions

@@ Property / cites work @@
+The Negligible and Yet Subtle Cost of Pattern Matching
+Normal rank
@@ Property / cites work @@
+Tight typings and split bounds, fully developed
@@ Property / cites work: Tight typings and split bounds, fully developed / rank @@
+Normal rank
@@ Property / cites work @@
+Types of fireballs
@@ Property / cites work: Types of fireballs / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
+Normal rank
@@ Property / cites work @@
+Pattern-based calculi with finitary matching
@@ Property / cites work: Pattern-based calculi with finitary matching / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types and strong normalisation
+Normal rank
@@ Property / cites work @@
+Size-based termination of higher-order rewriting
@@ Property / cites work: Size-based termination of higher-order rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111900
@@ Property / cites work: Q5111900 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for lambda calculi with resources
@@ Property / cites work: A semantics for lambda calculi with resources / rank @@
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics: The exponentials
+Normal rank
@@ Property / cites work @@
+A relational semantics for parallelism and non-determinism in a functional setting
+Normal rank
@@ Property / cites work @@
+Observability for Pair Pattern Calculi
@@ Property / cites work: Observability for Pair Pattern Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types for the Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+The rewriting calculus - part I
@@ Property / cites work: The rewriting calculus - part I / rank @@
+Normal rank
@@ Property / cites work @@
+Execution time of λ-terms via denotational semantics and intersection types
+Normal rank
@@ Property / cites work @@
+A semantic account of strong normalization in linear logic
+Normal rank
@@ Property / cites work @@
+Q4649551
@@ Property / cites work: Q4649551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490749
@@ Property / cites work: Q4490749 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5018484
@@ Property / cites work: Q5018484 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards automatic resource bound analysis for OCaml
+Normal rank
@@ Property / cites work @@
+First-class patterns
@@ Property / cites work: First-class patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Static determination of quantitative resource usage for higher-order programs
+Normal rank
@@ Property / cites work @@
+Type-based cost analysis for lazy functional languages
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Call-by-need by Means of Types
@@ Property / cites work: Reasoning About Call-by-need by Means of Types / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Types for the Linear Substitution Calculus
+Normal rank
@@ Property / cites work @@
+A Resource Aware Computational Interpretation for Herbelin’s Syntax
+Normal rank
@@ Property / cites work @@
+Q5111320
@@ Property / cites work: Q5111320 / rank @@
+Normal rank
@@ Property / cites work @@
+Consuming and Persistent Types for Classical Logic
+Normal rank
@@ Property / cites work @@
+A linearization of the Lambda-calculus and consequences
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Dependent Types and Relative Completeness
@@ Property / cites work: Linear Dependent Types and Relative Completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Linear dependent types in a call-by-value scenario
+Normal rank
@@ Property / cites work @@
+Q5144610
@@ Property / cites work: Q5144610 / rank @@
+Normal rank
@@ Property / cites work @@
+Essential and relational models
@@ Property / cites work: Essential and relational models / rank @@
+Normal rank
@@ Property / cites work @@
+Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
+Normal rank