Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344): Difference between revisions

@@ Property / cites work @@
+Dynamic typing in polymorphic languages
@@ Property / cites work: Dynamic typing in polymorphic languages / rank @@
+Normal rank
@@ Property / cites work @@
+Trends in trends in functional programming 1999/2000 versus 2007/2008
+Normal rank
@@ Property / cites work @@
+An operational semantics for parallel lazy evaluation
+Normal rank
@@ Property / cites work @@
+Proving Theorems about LISP Functions
@@ Property / cites work: Proving Theorems about LISP Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Amortised Memory Analysis Using the Depth of Data Structures
+Normal rank
@@ Property / cites work @@
+Compositional explanation of types and algorithmic debugging of type errors
+Normal rank
@@ Property / cites work @@
+Fast and loose reasoning is morally correct
@@ Property / cites work: Fast and loose reasoning is morally correct / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417900
@@ Property / cites work: Q4417900 / rank @@
+Normal rank
@@ Property / cites work @@
+MULTILISP: a language for concurrent symbolic computation
+Normal rank
@@ Property / cites work @@
+Scripting the type inference process
@@ Property / cites work: Scripting the type inference process / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic typing: Syntax and proof theory
@@ Property / cites work: Dynamic typing: Syntax and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Space-efficient gradual typing
@@ Property / cites work: Space-efficient gradual typing / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Use Cases for Refactoring in Erlang
@@ Property / cites work: Use Cases for Refactoring in Erlang / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel functional programming in Eden
@@ Property / cites work: Parallel functional programming in Eden / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of functional BSP programs
@@ Property / cites work: A calculus of functional BSP programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024014
@@ Property / cites work: Q4024014 / 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 @@
+A Space Consumption Analysis by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Algebra of programming in Agda: Dependent types for relational program derivation
+Normal rank
@@ Property / cites work @@
+The power of Pi
@@ Property / cites work: The power of Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive algorithm for computing the frequency response of a class of non-linear difference equation models
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to iTasks: Defining Interactive Work Flows for the Web
+Normal rank
@@ Property / cites work @@
+Complete and decidable type inference for GADTs
@@ Property / cites work: Complete and decidable type inference for GADTs / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving a lazy abstract machine
@@ Property / cites work: Deriving a lazy abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists
+Normal rank
@@ Property / cites work @@
+Referential transparency, definiteness and unfoldability
+Normal rank
@@ Property / cites work @@
+Q4003338
@@ Property / cites work: Q4003338 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm + strategy = parallelism
@@ Property / cites work: Algorithm + strategy = parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Tool Support for Explicit Strictness
@@ Property / cites work: Proof Tool Support for Explicit Strictness / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank