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

@@ Property / DOI @@
-.1007/s10990-011-9074-z
@@ Property / DOI: 10.1007/s10990-011-9074-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickCheck
@@ Property / describes a project that uses: QuickCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Curry
@@ Property / describes a project that uses: Curry / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Camlflow
@@ Property / describes a project that uses: Camlflow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Alfalfa
@@ Property / describes a project that uses: Alfalfa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Symgrid
@@ Property / describes a project that uses: Symgrid / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iTasks
@@ Property / describes a project that uses: iTasks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eden
@@ Property / describes a project that uses: Eden / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hop
@@ Property / describes a project that uses: Hop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GUM
@@ Property / describes a project that uses: GUM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ivor
@@ Property / describes a project that uses: Ivor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AoPA
@@ Property / describes a project that uses: AoPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Links
@@ Property / describes a project that uses: Links / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MapReduce
@@ Property / describes a project that uses: MapReduce / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Multilisp
@@ Property / describes a project that uses: Multilisp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EasyCheck
@@ Property / describes a project that uses: EasyCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SmallCheck
@@ Property / describes a project that uses: SmallCheck / rank @@
+Normal rank
@@ 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-011-9074-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2090467396
@@ Property / OpenAlex ID: W2090467396 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10990-011-9074-Z
@@ Property / DOI: 10.1007/S10990-011-9074-Z / rank @@
+Normal rank