The following pages link to Haskell (Q16052):
Displaying 50 items.
- Computer Algebra with SymbolicC++ (Q3522131) (← links)
- Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages (Q3527303) (← links)
- Sequences, Obligations, and the Contrary-to-Duty Paradox (Q3529367) (← links)
- (Q3536522) (← links)
- A Type of Partial Recursive Functions (Q3543653) (← links)
- Secure Microkernels, State Monads and Scalable Refinement (Q3543657) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Pattern matching with abstract data types (Q3549259) (← links)
- A Nominal Axiomatization of the Lambda Calculus (Q3553919) (← links)
- Haskell Type Constraints Unleashed (Q3558329) (← links)
- Tag-Free Combinators for Binding-Time Polymorphic Program Generation (Q3558331) (← links)
- Code Generation via Higher-Order Rewrite Systems (Q3558332) (← links)
- (Q3563384) (← links)
- (Q3571955) (← links)
- (Q3574475) (← links)
- Proofs, Programs, Processes (Q3576189) (← links)
- Haskell before Haskell: Curry’s Contribution to Programming (1946–1950) (Q3576196) (← links)
- Hyperbolic Graphs of Small Complexity (Q3580628) (← links)
- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types (Q3585061) (← links)
- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden (Q3589075) (← links)
- Funktionale und Applikative Programmierung (Q3598202) (← links)
- From Outermost Termination to Innermost Termination (Q3599101) (← links)
- Ivor, a Proof Engine (Q3612951) (← links)
- The worker/wrapper transformation (Q3616448) (← links)
- Automatic Generation of Test Inputs for Mercury (Q3617431) (← links)
- Generic Views on Data Types (Q3618823) (← links)
- The Essence of Multitasking (Q3623932) (← links)
- Loops under Strategies (Q3636816) (← links)
- Proving Termination of Integer Term Rewriting (Q3636817) (← links)
- Local Termination (Q3636830) (← links)
- A Polymorphic Type System for the Lambda-Calculus with Constructors (Q3637198) (← links)
- Parametricity for Haskell with Imprecise Error Semantics (Q3637203) (← links)
- Canonical Forms in Interactive Exercise Assistants (Q3637289) (← links)
- The essence of the <scp>Iterator</scp> pattern (Q3638921) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- Continuous reformulations and heuristics for the Euclidean travelling salesperson problem (Q3643507) (← links)
- Degrees of Undecidability in Term Rewriting (Q3644753) (← links)
- The Bird Tree (Q3644933) (← links)
- (Q3645447) (← links)
- Purely Functional 1-2 Brother Trees (Q3648351) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- Indexed categories for program development (Q3986546) (← links)
- (Q4004009) (← links)
- (Q4023829) (← links)
- (Q4028171) (← links)
- (Q4028172) (← links)
- (Q4201894) (← links)
- (Q4222931) (← links)
- (Q4222943) (← links)
- (Q4223591) (← links)
