@string{jfp={Journal of Functional Programming}}
@String{pub-PH                  = "Pren{\-}tice-Hall, Inc."}
@String{pub-PH:adr              = "Upper Saddle River, NJ 07458, USA"}

@Article{Adams1993,
title={Functional Pearls: Efficient sets---a balancing act},
author={Stephen Adams},
pages={553--561},
journal=jfp,
month=oct,
year=1993,
volume=3,
number=4
}

@manual{finitemap,
title = {Data.FiniteMap},
note = "www.haskell.org/ghc/docs/6.2/html/libraries/base/Data.FiniteMap.html",
key = {DFM}
}

@misc{ibexbalancedtree,
title = "org.ibex.util.BalancedTree",
note = "util.ibex.org/src/org/ibex/util/BalancedTree.java",
key = {IBT}
}

@book{cohen,
 author = {Henri Cohen},
 title = {A course in computational algebraic number theory},
 year = {1993},
 isbn = {0-387-55640-0},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }

@Book{trappe,
  author =       "Wade Trappe and Lawrence C. Washington",
  title =        "Introduction to Cryptography with Coding Theory",
  publisher =    pub-PH,
  address =      pub-PH:adr,
  pages =        "xiii + 490",
  year =         "2002",
  ISBN =         "0-13-061814-4",
  LCCN =         "QA268 .T73 2002",
  bibdate =      "Wed Jan 16 09:11:10 2002",
  price =        "UK\pounds 29.99",
  acknowledgement = ack-nhfb,
  keywords =     "coding theory; cryptography",
}

@inproceedings{hlist,
 author = {Oleg Kiselyov and Ralf L\"{a}mmel and Keean Schupke},
 title = {Strongly typed heterogeneous collections},
 booktitle = {Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell},
 year = {2004},
 isbn = {1-58113-850-4},
 pages = {96--107},
 location = {Snowbird, Utah, USA},
 doi = {http://doi.acm.org/10.1145/1017472.1017488},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@Book{vmspec,
  author =       "T. Lindholm and F. Yellin",
  title =        "{The Java Virtual Machine Specification}",
  publisher =    "Addison-Wesley",
  edition =      "{Second}",
  year =         1999
}

@techreport{haskell98,
  author  = {S.~P.~Jones and J.~Hughes and L.~Augustsson and D.~Barton
            and B.~Boutel and W.~Burton and J.~Fasel and K.~Hammond and R.~Hinze
            and P.~Hudak and T.~Johnsson and M.~Jones and J.~Launchbury and E.\
            Meijer and J.~Peterson and A.~Reid and C.~Runciman and P.~Wadler},
  title   = {{Haskell 98: A Non-strict, Purely Functional Language}},
  year    = 1999,
  note    = {Available at \url{http://www.haskell.org}},
  sourceURL = {},
  month   = feb,
  topics  = {Haskell}
}

@article{stg-machine,
    author = "Simon L. Peyton Jones",
    title = "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine",
    journal = "Journal of Functional Programming",
    volume = "2",
    number = "2",
    pages = "127-202",
    year = "1992",
    url = "citeseer.ist.psu.edu/peytonjones92implementing.html" }

@article{kwanghoon,
    author = "Kwanghoon Choi and Hyun-il Lim and Taisook Han",
    title = "Compiling Lazy Functional Programs Based on the Spineless Tagless {$G$}-Machine for the {Java} Virtual Machine",
    journal = "Lecture Notes in Computer Science",
    volume = "2024",
    pages = "92--??",
    year = "2001",
    url = "citeseer.ist.psu.edu/choi01compiling.html" }

@techreport{tullsen,
   author = "Mark Tullsen",
   title = "Compiling Haskell to Java",
   number = "YALEU/DCS/RR-1204",
   institution = "Yale University",
   month = "May",
   year = "1996",
   url = "http://www.cs.yale.edu/homes/tullsen/haskell-to-java.ps" }

@book{java,
    author = "James Gosling and others",
    title = "The {Java} Language Specification",
    publisher = "GOTOP Information Inc.",
    address = "5F, No.7, Lane 50, Sec.3 Nan Kang Road Taipei, Taiwan" }

@inproceedings{ghc,
    author = "Simon L. Peyton Jones and Cordelia V. Hall and Kevin Hammond and Will Partain and Philip Wadler",
    title = "The Glasgow Haskell compiler: a technical overview",
    booktitle = "Proc. {UK} Joint Framework for Information Technology ({JFIT}) Technical Conference",
    year = "93",
    url = "citeseer.ist.psu.edu/jones92glasgow.html" }

@article{dons,
    author = "Don Stewart",
    year = "2002",
    month = "November",
    institution = "The University of New South Wales",
    title = "Multi-paradigm Just-In-Time Compilation",
    url = "http://www.cse.unsw.edu.au/~pls/projects/dons-thesis.ps.gz" }

@techreport{rabbit,
 author = {Guy L. Steele, Jr.},
 title = {Rabbit: A Compiler for Scheme},
 year = {1978},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Amitai%3AMIT-AILab%2F%2FAITR-474},
 publisher = {Massachusetts Institute of Technology},
 address = {Cambridge, MA, USA},
 }

@misc{ffi,
    author = {Manuel M. T. Chakravarty},
    title = {The Haskell98 Foreign FUnction Interface 1.0},
    year = 2003,
    url = "http://www.cse.unsw.edu.au/~chak/haskell/ffi/"
    }

@article{evalapply,
 author = {Simon Marlow and Simon Peyton Jones},
 title = {Making a fast curry: push/enter vs. eval/apply for higher-order languages},
 journal = {J. Funct. Program.},
 volume = {16},
 number = {4-5},
 year = {2006},
 issn = {0956-7968},
 pages = {415--449},
 doi = {http://dx.doi.org/10.1017/S0956796806005995},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
 }