The following pages link to Haskell (Q16052):
Displaying 50 items.
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Functional BIP: embedding connectors in functional programming languages (Q2403817) (← links)
- Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems (Q2405266) (← links)
- A formal, resource consumption-preserving translation of actors to Haskell (Q2409724) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- Program algebra for quantitative information flow (Q2423771) (← links)
- SAC -- a functional array language for efficient multi-threaded execution (Q2431843) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- Towards a generic view of primality through multiset decompositions of natural numbers (Q2453539) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- A compositional framework for developing parallel programs on two-dimensional arrays (Q2460097) (← links)
- Parallel algorithms development for programmable devices with application from cryptography (Q2460101) (← links)
- Implementation and use of the PLT scheme web server (Q2464729) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Google's MapReduce programming model - Revisited (Q2469156) (← links)
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools (Q2474069) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- More efficient left-to-right matching for overlapping pattern (Q2569399) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
- Transforming Boolean equalities into constraints (Q2628300) (← links)
- Algebraic dynamic programming on trees (Q2633220) (← links)
- Code-carrying theories (Q2643124) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- The topology of language (Q2654144) (← links)
- Plethysms of symmetric functions and representations of \(\mathrm{SL}_2(\mathbf{C})\) (Q2660377) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
- First-class attribute grammars (Q2702096) (← links)
- Maude versus Haskell: An experimental comparison in security protocol analysis (Q2703702) (← links)
- Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm (Q2740995) (← links)
- Logic and dependent types in the Aldor computer algebra system (Q2751550) (← links)
- (Q2763378) (← links)
- (Q2763383) (← links)
- (Q2763389) (← links)
- (Q2763390) (← links)
- (Q2763633) (← links)
- (Q2763648) (← links)
- Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell (Q2767981) (← links)
- (Q2777823) (← links)
- Initial algebra semantics for cyclic sharing tree structures (Q2786132) (← links)
- A Mechanized Textbook Proof of a Type Unification Algorithm (Q2798047) (← links)
- Overview of the Mathemagix Type System (Q2799572) (← links)
- Visible Type Application (Q2802481) (← links)
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (Q2802491) (← links)
- Computing cup products in integral cohomology of Hilbert schemes of points on \(K3\) surfaces (Q2804224) (← links)
- Methods for proving termination of rewriting-based programming languages by transformation (Q2808239) (← links)
