default search action
Search dblp for Publications
export results for "toc:db/conf/litp/litp1985.bht:"
@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} }
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.