Search dblp for Publications

export results for "toc:db/conf/litp/litp1985.bht:"

 download as .bib file

@proceedings{DBLP:conf/litp/1985,
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-17184-3},
  doi          = {10.1007/3-540-17184-3},
  isbn         = {3-540-17184-3},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/litp/1985.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/BellotR85,
  author       = {Patrick Bellot and
                  Bernard J. Robinet},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Streams are not Dreams},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_37},
  doi          = {10.1007/3-540-17184-3\_37},
  timestamp    = {Thu, 24 Feb 2022 13:41:39 +0100},
  biburl       = {https://dblp.org/rec/conf/litp/BellotR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Cardelli85,
  author       = {Luca Cardelli},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Amber},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {21--47},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_38},
  doi          = {10.1007/3-540-17184-3\_38},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/litp/Cardelli85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Cardelli85a,
  author       = {Luca Cardelli},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {The Amber Machine},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {48--70},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_39},
  doi          = {10.1007/3-540-17184-3\_39},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/litp/Cardelli85a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Coquand85,
  author       = {Thierry Coquand},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Sur l'Analogie entre les Propositions et les Types},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {71--84},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_40},
  doi          = {10.1007/3-540-17184-3\_40},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Coquand85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/CousineauCMS85,
  author       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Michel Mauny and
                  Asc{\'{a}}nder Su{\'{a}}rez},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Combinateures, Cat{\'{e}}goriques et Impl{\'{e}}mentation
                  des Languages Fonctionnels},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {85--103},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_41},
  doi          = {10.1007/3-540-17184-3\_41},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/CousineauCMS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Hindley85,
  author       = {J. Roger Hindley},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Combinators and Lambda-Calculus},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {104--122},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_42},
  doi          = {10.1007/3-540-17184-3\_42},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Hindley85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Huet85,
  author       = {G{\'{e}}rard P. Huet},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Cartesian closed Categories and Lambda- calculus},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {123--135},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_43},
  doi          = {10.1007/3-540-17184-3\_43},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Huet85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Jones85,
  author       = {Simon L. Peyton Jones},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {An Introduction to Fully-Lazy Supercombinators},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {175--206},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_45},
  doi          = {10.1007/3-540-17184-3\_45},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Jones85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Lambek85,
  author       = {Joachim Lambek},
  editor       = {Guy Cousineau and
                  Pierre{-}Louis Curien and
                  Bernard J. Robinet},
  title        = {Cartesian Closed Categories and Typed Lambda- calculi},
  booktitle    = {Combinators and Functional Programming Languages, Thirteenth Spring
                  School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {242},
  pages        = {136--175},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-17184-3\_44},
  doi          = {10.1007/3-540-17184-3\_44},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Lambek85.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.