default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sdt/sdt1984.bht:"
download as .bib file
@inproceedings{DBLP:conf/sdt/BertoniMMO84,
author = {Alberto Bertoni and
Giancarlo Mauri and
Pierangelo Miglioli and
Mario Ornaghi},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Abstract Data Types and Their Extensions within a Constructive Logic},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {177--195},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_9},
doi = {10.1007/3-540-13346-1\_9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/BertoniMMO84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/BruceM84,
author = {Kim B. Bruce and
Albert R. Meyer},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {The Semantics of Second Order Polymorphic Lambda Calculus},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {131--144},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_6},
doi = {10.1007/3-540-13346-1\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/BruceM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/BurstallL84,
author = {Rod M. Burstall and
Butler W. Lampson},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {A Kernel Language for Abstract Data Types and Modules},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {1--50},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_1},
doi = {10.1007/3-540-13346-1\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/BurstallL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Cardelli84,
author = {Luca Cardelli},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {A Semantics of Multiple Inheritance},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {51--67},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_2},
doi = {10.1007/3-540-13346-1\_2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sdt/Cardelli84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Despeyroux84,
author = {Thierry Despeyroux},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Executable Specification of Static Semantics},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {215--233},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_11},
doi = {10.1007/3-540-13346-1\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Despeyroux84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Dezani-CiancagliniM84,
author = {Mariangiola Dezani{-}Ciancaglini and
Ines Margaria},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {F-Semantics for Intersection Type Discipline},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {279--300},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_14},
doi = {10.1007/3-540-13346-1\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Dezani-CiancagliniM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Haynes84,
author = {Christopher T. Haynes},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {A Theory of Data Type Representation Independence},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {157--175},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_8},
doi = {10.1007/3-540-13346-1\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Haynes84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Hook84,
author = {James G. Hook},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Understanding Russell- {A} First Attempt},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {69--86},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_3},
doi = {10.1007/3-540-13346-1\_3},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Hook84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/KaminA84,
author = {Samuel N. Kamin and
Myla Archer},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Partial Implementations of Abstract Data Types: {A} Dissenting view
on Errors},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {317--336},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_16},
doi = {10.1007/3-540-13346-1\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/KaminA84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/LongoM84,
author = {Giuseppe Longo and
Eugenio Moggi},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Cartesian Closed Categories of Enumerations for Effective Type Structures
(Part {I} {\&} {II)}},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {235--255},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_12},
doi = {10.1007/3-540-13346-1\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/LongoM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/McCracken84,
author = {Nancy McCracken},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {The Typechecking of Programs with Implicit Type Structure},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {301--315},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_15},
doi = {10.1007/3-540-13346-1\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/McCracken84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Mitchell84,
author = {John Mitchell},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Type Inference and Type Containment},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {257--277},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_13},
doi = {10.1007/3-540-13346-1\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Mitchell84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Mosses84,
author = {Peter D. Mosses},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {A Basic Abstract Semantic Algebra},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {87--107},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_4},
doi = {10.1007/3-540-13346-1\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sdt/Mosses84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Orejas84,
author = {Fernando Orejas},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {A Proof System for Verifying Composability of Abstract Implementations},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {357--374},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_18},
doi = {10.1007/3-540-13346-1\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Orejas84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Padawitz84,
author = {Peter Padawitz},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Towards a Proof Theory of Parameterized Specifications},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {375--391},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_19},
doi = {10.1007/3-540-13346-1\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Padawitz84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Paulson84,
author = {Lawrence C. Paulson},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Deriving Structural Induction in {LCF}},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {197--214},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_10},
doi = {10.1007/3-540-13346-1\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Paulson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/Reynolds84,
author = {John C. Reynolds},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Polymorphism is not Set-Theoretic},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {145--156},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_7},
doi = {10.1007/3-540-13346-1\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/Reynolds84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/SannellaT84,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Building Specifications in an Arbitrary Institution},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {337--356},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_17},
doi = {10.1007/3-540-13346-1\_17},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/SannellaT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/WinskelL84,
author = {Glynn Winskel and
Kim Guldstrand Larsen},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Using Information Systems to Solve Recursive Domain Equations Effectively},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {109--129},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_5},
doi = {10.1007/3-540-13346-1\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/WinskelL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sdt/1984,
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1},
doi = {10.1007/3-540-13346-1},
isbn = {3-540-13346-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/1984.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.
retrieved on 2024-09-19 08:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
