Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mfps/mfps1987.bht:"
download as .bib file
@proceedings{DBLP:conf/mfps/1987,
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19020-1},
doi = {10.1007/3-540-19020-1},
isbn = {3-540-19020-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/AmericaR87,
author = {Pierre America and
Jan J. M. M. Rutten},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Solving Reflexive Domain Equations in a Category of Complete Metric
Spaces},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {254--288},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_13},
doi = {10.1007/3-540-19020-1\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/AmericaR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Benson87,
author = {David B. Benson},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {The Shuffle Bialgebra},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {616--637},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_32},
doi = {10.1007/3-540-19020-1\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Benson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BlossH87,
author = {Adrienne G. Bloss and
Paul Hudak},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Path Semantics},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {476--489},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_26},
doi = {10.1007/3-540-19020-1\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BlossH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Bradley87,
author = {Laurette Bradley},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Treatment of Languages with Stages of Evaluation},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {425--443},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_23},
doi = {10.1007/3-540-19020-1\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Bradley87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Brookes87,
author = {Stephen D. Brookes},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Semantically Based Axiomatics},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {312--330},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_16},
doi = {10.1007/3-540-19020-1\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Brookes87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BruceR87,
author = {Kim B. Bruce and
Jon G. Riecke},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {The Semantics of Miranda's Algebraic Types},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {455--473},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_25},
doi = {10.1007/3-540-19020-1\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BruceR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/CarboniFS87,
author = {Aurelio Carboni and
Peter J. Freyd and
Andre Scedrov},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Categorical Approach to Realizability and Polymorphic Types},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {23--42},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_2},
doi = {10.1007/3-540-19020-1\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/CarboniFS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/CoquandGW87,
author = {Thierry Coquand and
Carl A. Gunter and
Glynn Winskel},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {DI-Domains as a Model of Polymorphism},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {344--363},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_18},
doi = {10.1007/3-540-19020-1\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/CoquandGW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Doberkat87,
author = {Ernst{-}Erich Doberkat},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Topological Completeness in an Ideal Model for Polymorphic Types},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {289--302},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_14},
doi = {10.1007/3-540-19020-1\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Doberkat87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Graham87,
author = {Steven K. Graham},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Closure Properties of a Probabilistic Domain Construction},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {213--233},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_11},
doi = {10.1007/3-540-19020-1\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Graham87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Gray87,
author = {John W. Gray},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Categorical Treatment of Polymorphic Operations},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {2--22},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_1},
doi = {10.1007/3-540-19020-1\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Gray87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Hrbacek87,
author = {Karel Hrbacek},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Powerdomain Construction},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {200--212},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_10},
doi = {10.1007/3-540-19020-1\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Hrbacek87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/JonesSS87,
author = {Neil D. Jones and
Peter Sestoft and
Harald S{\o}ndergaard},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {{MIX:} {A} Self-Applicable Partial Evaluator for Experiments in Compiler
Generation (Extended Abstract)},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {386--413},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_21},
doi = {10.1007/3-540-19020-1\_21},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/JonesSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Jung87,
author = {Achim Jung},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {New Results on Hierarchies of Domains},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {303--310},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_15},
doi = {10.1007/3-540-19020-1\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Jung87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/KamimuraT87,
author = {Tsutomu Kamimura and
Adrian Tang},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Continuous Auxiliary Relations},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {364--371},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_19},
doi = {10.1007/3-540-19020-1\_19},
timestamp = {Wed, 21 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/KamimuraT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Kent87,
author = {Robert E. Kent},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {The Metric Closure Powerspace Construction},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {173--199},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_9},
doi = {10.1007/3-540-19020-1\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Kent87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Lawson87,
author = {Jimmie D. Lawson},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {The Versatile Continuous Order},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {134--160},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_7},
doi = {10.1007/3-540-19020-1\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Lawson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Manes87,
author = {Ernie Manes},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Assertional Categories},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {85--120},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_5},
doi = {10.1007/3-540-19020-1\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Manes87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Mislove87,
author = {Michael W. Mislove},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {On the Smyth Power Domain},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {161--172},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_8},
doi = {10.1007/3-540-19020-1\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/Mislove87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Mulry87,
author = {Philip S. Mulry},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Kan Extensions in Effective Semantics},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {121--132},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_6},
doi = {10.1007/3-540-19020-1\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Mulry87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/PlebanL87,
author = {Uwe F. Pleban and
Peter Lee},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {High-Level Semantics: An Integrated Approach to Programming Language
Semantics and the Specification of Implementations},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {550--571},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_29},
doi = {10.1007/3-540-19020-1\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/PlebanL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Reed87,
author = {Joylyn Reed},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Semantics-Based Tools for a Specification-Support Environment},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {414--424},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_22},
doi = {10.1007/3-540-19020-1\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Reed87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/ReedR87,
author = {George M. Reed and
A. W. Roscoe},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Metric Spaces as Models for Real-Time Concurrency},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {331--343},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_17},
doi = {10.1007/3-540-19020-1\_17},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/ReedR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Revesz87,
author = {Gy{\"{o}}rgy E. R{\'{e}}v{\'{e}}sz},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Rule-Based Semantics for an Extended Lambda-Calculus},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {43--56},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_3},
doi = {10.1007/3-540-19020-1\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Revesz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Schreiber87,
author = {Gerlinde Schreiber},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Operational Semantics and a Distributed Implementation of {CSP}},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {444--454},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_24},
doi = {10.1007/3-540-19020-1\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Schreiber87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Smyth87,
author = {Michael B. Smyth},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Quasi Uniformities: Reconciling Domains with Metric Spaces},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {236--253},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_12},
doi = {10.1007/3-540-19020-1\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Smyth87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Spreen87,
author = {Dieter Spreen},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Computable One-to-one Enumerations of Effective Domains},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {372--384},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_20},
doi = {10.1007/3-540-19020-1\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Spreen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Vickers87,
author = {Steven Vickers},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {An Algorithmic Approach to the p-adic Integers},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {599--615},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_31},
doi = {10.1007/3-540-19020-1\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Vickers87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Wagner87,
author = {Eric G. Wagner},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Semantics of Block Structured Languages with Pointers},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {57--84},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_4},
doi = {10.1007/3-540-19020-1\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Wagner87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Watt87,
author = {David A. Watt},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {An Action Semantics of Standard {ML}},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {572--598},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_30},
doi = {10.1007/3-540-19020-1\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Watt87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/WellsB87,
author = {Charles Wells and
Michael Barr},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {The Formal Description of Data Types Using Sketches},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {490--527},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_27},
doi = {10.1007/3-540-19020-1\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/WellsB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Zamfir87,
author = {Maria Zamfir},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Initial Algebra Semantics and Concurrency},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {528--549},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_28},
doi = {10.1007/3-540-19020-1\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Zamfir87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-08-10 05:40 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:
