|
|
(13 intermediate revisions by 4 users not shown) |
Property / DOI | |
| | |
Property / DOI: 10.1007/s10990-011-9074-z / rank | |
| Normal rank
| |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: ML / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Ivor / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Agda / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: AoPA / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Links / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Coq / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: MapReduce / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Multilisp / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: EasyCheck / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: SmallCheck / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1007/s10990-011-9074-z / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2090467396 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Dynamic typing in polymorphic languages / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Trends in trends in functional programming 1999/2000 versus 2007/2008 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An operational semantics for parallel lazy evaluation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving Theorems about LISP Functions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Amortised Memory Analysis Using the Depth of Data Structures / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Compositional explanation of types and algorithmic debugging of type errors / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Fast and loose reasoning is morally correct / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4417900 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: MULTILISP: a language for concurrent symbolic computation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Scripting the type inference process / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Dynamic typing: Syntax and proof theory / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Space-efficient gradual typing / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The Principal Type-Scheme of an Object in Combinatory Logic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Static prediction of heap space usage for first-order functional programs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Use Cases for Refactoring in Erlang / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Parallel functional programming in Eden / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A calculus of functional BSP programs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4024014 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A theory of type polymorphism in programming / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Space Consumption Analysis by Abstract Interpretation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algebra of programming in Agda: Dependent types for relational program derivation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The power of Pi / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Recursive algorithm for computing the frequency response of a class of non-linear difference equation models / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4023829 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: An Introduction to iTasks: Defining Interactive Work Flows for the Web / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Complete and decidable type inference for GADTs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Deriving a lazy abstract machine / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Referential transparency, definiteness and unfoldability / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4003338 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Algorithm + strategy = parallelism / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proof Tool Support for Explicit Strictness / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Deforestation: Transforming programs to eliminate trees / rank |
| | Normal rank |
| Property / DOI |
| | |
| Property / DOI: 10.1007/S10990-011-9074-Z / rank |
| | Normal rank |