Haskell
From MaRDI portal
Cited in
(only showing first 100 items - show all)- HasCasl: integrated higher-order specification and program development
- A family of syntactic logical relations for the semantics of Haskell-like languages
- Recasting ML\(^{\text F}\)
- Deterministic second-order patterns
- Nesting forward-mode AD in a functional framework
- Termination of narrowing revisited
- On the algebraic structure of declarative programming languages
- Operating system verification---an overview
- Operational termination of conditional term rewriting systems
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Winskel is (almost) right: Towards a mechanized semantics textbook
- Functional-logic integration via minimal reciprocal extensions
- AXIOM
- Coq
- COSTA
- Dagwood
- Typability and type checking in System F are equivalent and undecidable
- FC++
- FEPG
- GrGen
- HasCasl
- HYBRID
- A co-induction principle for recursively defined domains
- IBM Scratchpad
- Bounded quantifications for iteration and concurrency in logic programming
- LiDIA
- MapReduce
- PyRes
- taco
- Proto-Quipper-M
- Haskell overloading is DEXPTIME-complete
- Ott
- Polytypic data conversion programs
- Projective Noether
- SemiRings
- LPdoc
- Euterpea
- Statebox
- CQL
- idris-ct
- ILLTP
- RelView
- SPeeDI
- Propositional lax logic
- TALP
- Lambda Library C++
- The static parallelization of loops and recursions
- Lambda calculus with explicit recursion
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations
- Indexed types
- Generating power of lazy semantics
- APL
- Covariant types
- Parallelising large irregular programs: An experience with Naira
- ML
- ALDOR
- COBOL
- Lutess
- Stratego
- DrScheme
- Beluga
- CLEAN
- SymbolicC++
- IMP++
- Programming languages and systems. First Asian symposium, APLAS 2003, Beijing, China, November 27--29, 2003. Proceedings
- Comparing parallel functional languages: Programming and performance
- HiLog
- ObjectCurry
- NeXeme
- JastAdd
- TinkerType
- StreamIt
- THINKER
- RealLib
- PROOF
- ELAN
- CASL
- DACTL
- IMPACT
- FASAN
- MANIFOLD
- SIGNAL
- BABEL
- ANTLR
- ATERM
- TAMPR
- KLIC
- CCSL
- SMIL
- Isabelle/HOL. A proof assistant for higher-order logic
- Relational depth-first-search with applications
- The generic approximation lemma
- A constructive algorithm for finding the exact roots of polynomials with computable real coefficients.
- Eiffel
- Open and closed scopes for constrained genericity
- The music of streams
- A formal language approach for a 3D curve representation.
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- PVM
- A secrecy-preserving language for distributed and object-oriented systems
This page was built for software: Haskell
