The following pages link to Haskell (Q16052):
Displaying 50 items.
- Haskell overloading is DEXPTIME-complete (Q1336737) (← links)
- Polytypic data conversion programs (Q1347992) (← links)
- Propositional lax logic (Q1368378) (← links)
- The static parallelization of loops and recursions (Q1375712) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Indexed types (Q1389626) (← links)
- Generating power of lazy semantics (Q1389632) (← links)
- Covariant types (Q1390953) (← links)
- Parallelising large irregular programs: An experience with Naira (Q1394872) (← links)
- Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27--29, 2003. Proceedings (Q1418486) (← links)
- Comparing parallel functional languages: Programming and performance (Q1426884) (← links)
- Isabelle/HOL. A proof assistant for higher-order logic (Q1600086) (← links)
- Relational depth-first-search with applications (Q1602553) (← links)
- The generic approximation lemma (Q1603477) (← links)
- A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. (Q1603892) (← links)
- Open and closed scopes for constrained genericity (Q1606127) (← links)
- The music of streams (Q1607101) (← links)
- A formal language approach for a 3D curve representation. (Q1609028) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- The symbiosis of concurrency and verification: teaching and case studies (Q1707345) (← links)
- The Verigraph system for graph transformation (Q1708186) (← links)
- A generalized SXP rule proved by bijections and involutions (Q1712900) (← links)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014 (Q1730606) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems (Q1736602) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Combining deep and shallow embedding of domain-specific languages (Q1749137) (← links)
- A short cut to optimal sequences (Q1758658) (← links)
- Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8--11, 2003. Revised papers. (Q1763053) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Axioms for strict and lazy functional programs (Q1772783) (← links)
- Real number computation with committed choice logic programming languages (Q1779564) (← links)
- Formalization of a polymorphic subtyping algorithm (Q1791209) (← links)
- A purely functional computer algebra system embedded in Haskell (Q1798330) (← links)
- A transformation-based optimiser for Haskell (Q1818319) (← links)
- Encoding types in ML-like languages (Q1826630) (← links)
- Functional programming concepts and straight-line programs in computer algebra (Q1849848) (← links)
- An efficient algorithm for cyclic reference counting. (Q1853056) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Higher-order substitutions (Q1854398) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Erratic Fudgets: A semantic theory for an embedded coordination language (Q1870854) (← links)
- Type-indexed data types (Q1881268) (← links)
- Pattern matching as cut elimination (Q1882898) (← links)
- A transformation method for dynamic-sized tabulation (Q1892705) (← links)
