EekelenM05'

BibTeX

@inproceedings{DBLP:conf/ifl/EekelenM05,
  author    = {Marko C. J. D. van Eekelen and
               Maarten de Mol},
  title     = {Proof Tool Support for Explicit Strictness},
  booktitle = {IFL},
  year      = {2005},
  pages     = {37-54},
  ee        = {http://dx.doi.org/10.1007/11964681_3},
  crossref  = {DBLP:conf/ifl/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifl/2005,
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {Implementation and Application of Functional Languages,
               17th International Workshop, IFL 2005, Dublin, Ireland,
               September 19-21, 2005, Revised Selected Papers},
  booktitle = {IFL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  year      = {2006},
  isbn      = {3-540-69174-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}