• Haskell

  • Referenced in 832 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics ... static typing. It is named after logician Haskell Curry...
  • Agda

  • Referenced in 174 articles [sw09689]
  • inductive families, which are similar to Haskell’s GADTs, but they can be indexed...
  • GHC

  • Referenced in 88 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher-order languages such as Haskell encourage ... inliner, the one used in the Glasgow Haskell compiler. We focus mainly on the algorithmic...
  • QuickCheck

  • Referenced in 87 articles [sw07277]
  • lightweight tool for random testing of Haskell programs. QuickCheck is a tool which aids ... Haskell programmer in formulating and testing properties of programs. Properties are discribed as Haskell functions...
  • Pesca

  • Referenced in 120 articles [sw13664]
  • written in the functional programming language Haskell...
  • Featherweight Java

  • Referenced in 86 articles [sw16204]
  • does to languages such as ML and Haskell. It offers a similar computational ”feel,” providing...
  • levmar

  • Referenced in 52 articles [sw04809]
  • usable also from C++, Matlab, Perl, Python, Haskell and Tcl and explains their use. Both...
  • Idris

  • Referenced in 33 articles [sw20011]
  • eager evaluation. Its features are influenced by Haskell and ML, and include: Full dependent types ... update; Interfaces (similar to type classes in Haskell); Type-driven overloading resolution; do notation...
  • CeTA

  • Referenced in 41 articles [sw06584]
  • generate a highly efficient and certified Haskell program, CeTA, which can be used to certify...
  • Cayenne

  • Referenced in 29 articles [sw09686]
  • language with dependent types. Cayenne is a Haskell-like language. The main difference between Haskell...
  • GF

  • Referenced in 32 articles [sw13667]
  • paper concludes by brief discussions of the Haskell implementation of GF, existing applications, and related...
  • Polyp

  • Referenced in 31 articles [sw09131]
  • extends a functional language (a subset of Haskell) with a construct for writing polytypic functions...
  • Plastic

  • Referenced in 18 articles [sw07403]
  • Coercive Subtyping. Plastic is an implementation in Haskell-98 of Typed LF with various extensions ... higher-order non-strict functional language Haskell, and uses the Happy parser generator...
  • Hood

  • Referenced in 18 articles [sw13680]
  • Haskell Object Observation Debugger (HOOD) is a small post-mortem debugger for the lazy functional ... language Haskell. It is based on the concept of observation of intermediate data structures, rather...
  • Hat

  • Referenced in 23 articles [sw13679]
  • source-level tracer for the programming language Haskell. Hat gives access to detailed, otherwise invisible...
  • GUM

  • Referenced in 13 articles [sw09417]
  • portable parallel implementation of Haskell. GUM is a portable, parallel implementation of the Haskell functional ... improve the performance of a parallel Haskell program GUM provides tools for monitoring and visualising...
  • Epigram

  • Referenced in 21 articles [sw09687]
  • Find the type error in the following Haskell expression: if null xs then tail...
  • SmallCheck

  • Referenced in 19 articles [sw09736]
  • small values. This paper describes two Haskell libraries for property-based testing. Following the lead...
  • Lava

  • Referenced in 13 articles [sw28643]
  • Lava: hardware design in Haskell. Lava is a tool to assist circuit designers in specifying ... implementing hardware. It is a collection of Haskell modules. The system design exploits functional programming...
  • Freja

  • Referenced in 17 articles [sw13678]
  • compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate...