rcherrueau

module inclusion

import Data.List

%default total

-- List intersection
namespace intersect
  -- Intersection operation
  %hide List.intersect

rcherrueau

/** Type Classes as Object and Implicits
  *
  * @InProceedings{OMO10a,
  *   author =       {Bruno C. d. S. Oliveira and Adriaan Moors and Martin
  *                   Odersky},
  *   title =        {Type classes as objects and implicits},
  *   booktitle =    {Proceedings of the 25th Annual {ACM} {SIGPLAN}
  *                   Conference on Object-Oriented Programming, Systems,
  *                   Languages, and Applications, {OOPSLA} 2010, October
  *                   17-21, 2010, Reno/Tahoe, Nevada, {USA}},

rcherrueau

;; Inverting back the inversion of control, or Continuation versus
;; page-centric programming.
;; Christian Queinnec
;;
;; @Article{Que03a,
;;   author =       {Christian Queinnec},
;;   title =        {Inverting back the inversion of control or,
;;                   continuations versus page-centric programming},
;;   journal =      {{SIGPLAN} Notices},
;;   year =         2003,

rcherrueau

/** Scala implementation of Gérard Huet's The Zipper.
  *
  * The Zipper is a kind of Iterator for Tree. The Zipper offers
  * navigation and edition primitives in constant time.
  * [[http://www.dblp.org/rec/bibtex/journals/jfp/Huet97 The Zipper]]
  */

/** Tree data structure. */
sealed abstract class Tree[T]
case class Item[T] (val item: T) extends Tree[T]