@article{SchroderMossakowski08,
  abstract = {  We lay out the design of HasCASL, a higher order extension of the
  algebraic specification language CASL that serves both as a
  wide-spectrum language for the rigorous specification and
  development of software, in particular but not exclusively in modern
  functional programming languages, and as an expressive standard
  language for higher-order logic. Distinctive features of HasCASL
  include partial higher order functions, higher order subtyping,
  shallow polymorphism, and an extensive type-class
  mechanism. Moreover, HasCASL provides dedicated specification
  support for monad-based functional-imperative programming with
  generic side effects, including a monad-based generic Hoare logic.
},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Schr{\"o}der, Lutz and Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/223801172b4dfe5e25fc22cf579524097/tillmo},
  interhash = {f38e245f23ce4e4e402fe77877edbc34},
  intrahash = {23801172b4dfe5e25fc22cf579524097},
  journal = {Theoretical Computer Science},
  keywords = {Algebraic CASL Hoare classes functional higher logic monads order polymorphism programming specification type},
  number = {12-13},
  pages = {1217-1260},
  pdfurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/HasCASL.pdf},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {HasCASL: Integrated Higher-Order Specification and Program Development},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.11.020},
  volume = 410,
  year = 2009
}