Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/ifl/2001,
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46028-4},
  doi          = {10.1007/3-540-46028-4},
  isbn         = {3-540-43537-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/AlimarineP01,
  author       = {Artem Alimarine and
                  Marinus J. Plasmeijer},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {A Generic Programming Extension for Clean},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {168--185},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_11},
  doi          = {10.1007/3-540-46028-4\_11},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/AlimarineP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/ButterfieldS01,
  author       = {Andrew Butterfield and
                  Glenn Strong},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Proving Correctness of Programs with {IO} - {A} Paradigm Comparison},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {72--87},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_5},
  doi          = {10.1007/3-540-46028-4\_5},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/ButterfieldS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/EncinaP01,
  author       = {Alberto de la Encina and
                  Ricardo Pena},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Proving the Correctness of the {STG} Machine},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {88--104},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_6},
  doi          = {10.1007/3-540-46028-4\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/EncinaP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Faxen01,
  author       = {Karl{-}Filip Fax{\'{e}}n},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Dynamic Cheap Eagerness},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {105--120},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_7},
  doi          = {10.1007/3-540-46028-4\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Faxen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Grelck01,
  author       = {Clemens Grelck},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Optimizations on Array Skeletons in a Shared Memory Environment},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {36--54},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_3},
  doi          = {10.1007/3-540-46028-4\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Grelck01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Kreye01,
  author       = {Dietmar Kreye},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {A Compilation Scheme for a Hierarchy of Array Types},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {18--54},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_2},
  doi          = {10.1007/3-540-46028-4\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Kreye01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Minamide01,
  author       = {Yasuhiko Minamide},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Runtime Behavior of Conversion Interpretation of Subtyping},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {155--167},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_10},
  doi          = {10.1007/3-540-46028-4\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Minamide01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/MolEP01,
  author       = {Maarten de Mol and
                  Marko C. J. D. van Eekelen and
                  Marinus J. Plasmeijer},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Theorem Proving for Functional Programmers},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {55--71},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_4},
  doi          = {10.1007/3-540-46028-4\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/MolEP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/PenaS01,
  author       = {Ricardo Pena and
                  Clara Segura},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Sized Types for Typing Eden Skeletons},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_1},
  doi          = {10.1007/3-540-46028-4\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/PenaS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/PenaS01a,
  author       = {Ricardo Pena and
                  Clara Segura},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {A Polynomial-Cost Non-determinism Analysis},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {121--137},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_8},
  doi          = {10.1007/3-540-46028-4\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/PenaS01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/ScaifeMH01,
  author       = {Norman Scaife and
                  Greg Michaelson and
                  Susumu Horiguchi},
  editor       = {Thomas Arts and
                  Markus Mohnen},
  title        = {Comparative Cross-Platform Performance Results from a Parallelizing
                  {SML} Compiler},
  booktitle    = {Implementation of Functional Languages, 13th International Workshop,
                  {IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2312},
  pages        = {138--154},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-46028-4\_9},
  doi          = {10.1007/3-540-46028-4\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/ScaifeMH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.