Search dblp for Publications

export results for "toc:db/conf/ifl/ifl2010.bht:"

 download as .bib file

@proceedings{DBLP:conf/ifl/2010,
  editor    = {Jurriaan Hage and
               Marco T. Moraz{\'{a}}n},
  title     = {Implementation and Application of Functional Languages - 22nd International
               Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September
               1-3, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{DBLP:conf/ifl/AxelssonCSSEP10,
  author    = {Emil Axelsson and
               Koen Claessen and
               Mary Sheeran and
               Josef Svenningsson and
               David Engdal and
               Anders Persson},
  title     = {The Design and Implementation of Feldspar - An Embedded Language for
               Digital Signal Processing},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {121--136},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/Berthold10,
  author    = {Jost Berthold},
  title     = {Orthogonal Serialisation for Haskell},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {38--53},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/BjornsonTG10,
  author    = {Joel Bjornson and
               Anton Tayanovskyy and
               Adam Granicz},
  title     = {Composing Reactive GUIs in F{\#} Using WebSharper},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {203--216},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/BoeijinkHK10,
  author    = {Arjan Boeijink and
               Philip K. F. H{\"{o}}lzenspies and
               Jan Kuper},
  title     = {Introducing the PilGRIM: {A} Processor for Executing Lazy Functional
               Languages},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {54--71},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/BrownLBH10,
  author    = {Christopher Brown and
               Hans{-}Wolfgang Loidl and
               Jost Berthold and
               Kevin Hammond},
  title     = {Improving Your {CASH} Flow: The Computer Algebra SHell},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {169--184},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/GiorgidzeGSW10,
  author    = {George Giorgidze and
               Torsten Grust and
               Tom Schreiber and
               Jeroen Weijers},
  title     = {Haskell Boards the Ferry - Database-Supported Program Execution for
               Haskell},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {1--18},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/HerhutJSPG10,
  author    = {Stephan Herhut and
               Carl Joslin and
               Sven{-}Bodo Scholz and
               Raphael Poss and
               Clemens Grelck},
  title     = {Concurrent Non-deferred Reference Counting on the Microgrid: First
               Experiences},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {185--202},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/HinzeHJ10,
  author    = {Ralf Hinze and
               Thomas Harper and
               Daniel W. H. James},
  title     = {Theory and Practice of Fusion},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {19--37},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/MichelsPA10,
  author    = {Steffen Michels and
               Rinus Plasmeijer and
               Peter Achten},
  title     = {iTask as a New Paradigm for Building {GUI} Applications},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {153--168},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/MiddelkoopDS10,
  author    = {Arie Middelkoop and
               Atze Dijkstra and
               S. Doaitse Swierstra},
  title     = {Dependently Typed Attribute Grammars},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {105--120},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/PitidisS10,
  author    = {Mihalis Pitidis and
               Konstantinos Sagonas},
  title     = {Purity in Erlang},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {137--152},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/SieczkowskiBB10,
  author    = {Filip Sieczkowski and
               Malgorzata Biernacka and
               Dariusz Biernacki},
  title     = {Automating Derivations of Abstract Machines from Reduction Semantics:
               - {A} Generic Formalization of Refocusing in Coq},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {72--88},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/ifl/TorontoM10,
  author    = {Neil Toronto and
               Jay McCarthy},
  title     = {From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic
               Probability in {\(\lambda\)} {ZFC}},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6647},
  pages     = {89--104},
  publisher = {Springer},
  year      = {2010}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics