The following pages link to Haskell (Q16052):
Displaying 50 items.
- Declaring Numbers (Q5403480) (← links)
- Backpack (Q5408399) (← links)
- Combining proofs and programs in a dependently typed language (Q5408400) (← links)
- Freeze after writing (Q5408423) (← links)
- Modular, higher-order cardinality analysis in theory and practice (Q5408429) (← links)
- Closed type families with overlapping equations (Q5408458) (← links)
- A Duality of Sorts (Q5410453) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)
- A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)
- (Q5417200) (← links)
- Source-Based Trace Exploration (Q5423548) (← links)
- Simple, Effective Code-Size Reduction for Functional Programs (Q5423555) (← links)
- Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus (Q5434504) (← links)
- Applicative programming with effects (Q5437031) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)
- HM(X) type inference is CLP(X) solving (Q5451969) (← links)
- (Q5457684) (← links)
- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell (Q5459185) (← links)
- Haskell, ein gutes Werkzeug der Diskreten Mathematik (Q5465501) (← links)
- Implementation of Functional Languages (Q5466582) (← links)
- Implementation of Functional Languages (Q5466583) (← links)
- Implementation of Functional Languages (Q5466584) (← links)
- Implementation of Functional Languages (Q5466586) (← links)
- Implementation of Functional Languages (Q5466589) (← links)
- Implementation of Functional Languages (Q5466593) (← links)
- (Q5470455) (← links)
- (Q5475626) (← links)
- Logic Programming (Q5475808) (← links)
- Unbounded Spigot Algorithms for the Digits of Pi (Q5479783) (← links)
- Structuring quantum effects: superoperators as arrows (Q5482270) (← links)
- Generics for the masses (Q5482280) (← links)
- Programming Languages and Systems (Q5493373) (← links)
- Delimited dynamic binding (Q5501456) (← links)
- Modelling deterministic concurrent I/O (Q5501463) (← links)
- A pattern for almost compositional functions (Q5501469) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
- Operational interpretations of an extension of F<sub>ω</sub> with control operators (Q5687907) (← links)
- Some lattice-based scientific problems, expressed in Haskell (Q5687908) (← links)
- Global variables in Haskell (Q5692150) (← links)
- Enumerating the strings of regular languages (Q5692151) (← links)
- Two-level types and parameterized modules (Q5692153) (← links)
- Parallel functional programming in Eden (Q5706726) (← links)
- The logic of demand in Haskell (Q5708288) (← links)
- FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell (Q5717305) (← links)
- Calculating PSSM probabilities with lazy dynamic programming (Q5717308) (← links)
- (Q5718566) (← links)
- Program extraction in exact real arithmetic (Q5740678) (← links)
- Partiality and recursion in interactive theorem provers – an overview (Q5741556) (← links)
- From Boolean Equalities to Constraints (Q5743586) (← links)
