Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eugenio Moggi
@article{DBLP:journals/mscs/FarjudianM23,
author = {Amin Farjudian and
Eugenio Moggi},
title = {Robustness, Scott continuity, and computability},
journal = {Math. Struct. Comput. Sci.},
volume = {33},
number = {6},
pages = {536--572},
year = {2023},
url = {https://doi.org/10.1017/s0960129523000233},
doi = {10.1017/S0960129523000233},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FarjudianM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DagninoFM23,
author = {Francesco Dagnino and
Amin Farjudian and
Eugenio Moggi},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth
Monad},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {313--331},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_19},
doi = {10.1007/978-3-031-47963-2\_19},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DagninoFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-06968,
author = {Francesco Dagnino and
Amin Farjudian and
Eugenio Moggi},
title = {Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth
Monad},
journal = {CoRR},
volume = {abs/2309.06968},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06968},
doi = {10.48550/ARXIV.2309.06968},
eprinttype = {arXiv},
eprint = {2309.06968},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-12347,
author = {Amin Farjudian and
Eugenio Moggi},
title = {Robustness, Scott Continuity, and Computability},
journal = {CoRR},
volume = {abs/2208.12347},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.12347},
doi = {10.48550/ARXIV.2208.12347},
eprinttype = {arXiv},
eprint = {2208.12347},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-12347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/MoggiTT20,
author = {Eugenio Moggi and
Walid Taha and
Johan Thunberg},
title = {Sound Over-Approximation of Probabilities},
journal = {Acta Cybern.},
volume = {24},
number = {3},
pages = {269--285},
year = {2020},
url = {https://doi.org/10.14232/actacyb.24.3.2020.2},
doi = {10.14232/ACTACYB.24.3.2020.2},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/MoggiTT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MoggiFT19,
author = {Eugenio Moggi and
Amin Farjudian and
Walid Taha},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {System Analysis and Robustness},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {1--7},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MoggiFT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MoggiFDT18,
author = {Eugenio Moggi and
Amin Farjudian and
Adam Duracz and
Walid Taha},
title = {Safe {\&} robust reachability analysis of hybrid systems},
journal = {Theor. Comput. Sci.},
volume = {747},
pages = {75--99},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.06.020},
doi = {10.1016/J.TCS.2018.06.020},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MoggiFDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MoggiFT18,
author = {Eugenio Moggi and
Amin Farjudian and
Walid Taha},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {System Analysis and Robustness},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {36--44},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_4},
doi = {10.1007/978-3-030-22348-9\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MoggiFT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DuraczMTL18,
author = {Adam Duracz and
Eugenio Moggi and
Walid Taha and
Zhenchao Lin},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {A Semantic Account of Rigorous Simulation},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {223--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_13},
doi = {10.1007/978-3-319-95246-8\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DuraczMTL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05658,
author = {Eugenio Moggi and
Amin Farjudian and
Adam Duracz and
Walid Taha},
title = {Safe {\&} Robust Reachability Analysis of Hybrid Systems},
journal = {CoRR},
volume = {abs/1709.05658},
year = {2017},
url = {http://arxiv.org/abs/1709.05658},
eprinttype = {arXiv},
eprint = {1709.05658},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot360/TahaDZABBDXCKMM15,
author = {Walid Taha and
Adam Duracz and
Yingfu Zeng and
Kevin Atkinson and
Ferenc A. Bartha and
Paul Brauner and
Jan Duracz and
Fei Xu and
Robert Cartwright and
Michal Konecn{\'{y}} and
Eugenio Moggi and
Jawad Masood and
Pererik Andreasson and
Jun Inoue and
Anita Pinheiro Sant'Anna and
Roland Philippsen and
Alexandre Chapoutot and
Marcia O'Malley and
Aaron D. Ames and
Ver{\'{o}}nica Gaspes and
Lise Hvatum and
Shyam Mehta and
Henrik Eriksson and
Christian Grante},
editor = {Benny Mandler and
Johann M{\'{a}}rquez{-}Barja and
Miguel Elias Mitre Campista and
Dagmar Cag{\'{a}}nov{\'{a}} and
Hakima Chaouchi and
Sherali Zeadally and
Mohamad Badra and
Stefano Giordano and
Maria Fazio and
Andrey Somov and
Radu{-}Laurentiu Vieriu},
title = {Acumen: An Open-Source Testbed for Cyber-Physical Systems Research},
booktitle = {Internet of Things. IoT Infrastructures - Second International Summit,
IoT 360{\textdegree} 2015, Rome, Italy, October 27-29, 2015, Revised
Selected Papers, Part {I}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {169},
pages = {118--130},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-47063-4\_11},
doi = {10.1007/978-3-319-47063-4\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iot360/TahaDZABBDXCKMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Moggi12,
author = {Eugenio Moggi},
title = {Foreword {ICTCS} 2010 special issue},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {46},
number = {2},
pages = {201},
year = {2012},
url = {https://doi.org/10.1051/ita/2012008},
doi = {10.1051/ITA/2012008},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Moggi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JaskelioffM10,
author = {Mauro Jaskelioff and
Eugenio Moggi},
title = {Monad transformers as monoid transformers},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {51-52},
pages = {4441--4466},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.09.011},
doi = {10.1016/J.TCS.2010.09.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JaskelioffM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Moggi09,
author = {Eugenio Moggi},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {Monad Transformers as Monoid Transformers},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {175--178},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Moggi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Moggi07,
author = {Eugenio Moggi},
editor = {Luca Cardelli and
Marcelo Fiore and
Glynn Winskel},
title = {Structuring Operational Semantics: Simplification and Computation},
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
series = {Electronic Notes in Theoretical Computer Science},
volume = {172},
pages = {479--497},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.016},
doi = {10.1016/J.ENTCS.2007.02.016},
timestamp = {Tue, 24 Jan 2023 11:36:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Moggi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2007,
editor = {Giuseppe F. Italiano and
Eugenio Moggi and
Luigi Laura},
title = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
Rome, Italy, October 3-5, 2007, Proceedings},
publisher = {World Scientific},
year = {2007},
isbn = {981-277-098-4},
timestamp = {Wed, 11 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Moggi05,
author = {Eugenio Moggi},
title = {Applied semantics: Selected topics},
journal = {Theor. Comput. Sci.},
volume = {342},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.001},
doi = {10.1016/J.TCS.2005.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Moggi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/MoggiS04,
author = {Eugenio Moggi and
Amr Sabry},
title = {An abstract monadic semantics for value recursion},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {38},
number = {4},
pages = {375--400},
year = {2004},
url = {https://doi.org/10.1051/ita:2004018},
doi = {10.1051/ITA:2004018},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/MoggiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FerrariMP04,
author = {Gian{-}Luigi Ferrari and
Eugenio Moggi and
Rosario Pugliese},
title = {MetaKlaim: a type safe multi-stage language for global computing},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {3},
pages = {367--395},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004165},
doi = {10.1017/S0960129504004165},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FerrariMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CalcagnoMT04,
author = {Cristiano Calcagno and
Eugenio Moggi and
Walid Taha},
editor = {David A. Schmidt},
title = {ML-Like Inference for Classifiers},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {79--93},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_7},
doi = {10.1007/978-3-540-24725-8\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CalcagnoMT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AnconaM04,
author = {Davide Ancona and
Eugenio Moggi},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Program Generation and Components},
booktitle = {Formal Methods for Components and Objects, Third International Symposium,
{FMCO} 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3657},
pages = {222--250},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11561163\_10},
doi = {10.1007/11561163\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AnconaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/AnconaM04,
author = {Davide Ancona and
Eugenio Moggi},
editor = {Gabor Karsai and
Eelco Visser},
title = {A Fresh Calculus for Name Management},
booktitle = {Generative Programming and Component Engineering: Third International
Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3286},
pages = {206--224},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30175-2\_11},
doi = {10.1007/978-3-540-30175-2\_11},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/AnconaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2004,
editor = {Eugenio Moggi and
David Scott Warren},
title = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
publisher = {{ACM}},
year = {2004},
url = {https://dl.acm.org/citation.cfm?id=1013963},
isbn = {1-58113-819-9},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CalcagnoMS03,
author = {Cristiano Calcagno and
Eugenio Moggi and
Tim Sheard},
title = {Closed types for a safe imperative MetaML},
journal = {J. Funct. Program.},
volume = {13},
number = {3},
pages = {545--571},
year = {2003},
url = {https://doi.org/10.1017/S0956796802004598},
doi = {10.1017/S0956796802004598},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/CalcagnoMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/MoggiS03,
author = {Eugenio Moggi and
Amr Sabry},
editor = {Zolt{\'{a}}n {\'{E}}sik and
Igor Walukiewicz},
title = {An Abstract Monadic Semantics for Value Recursion},
booktitle = {{FICS} '03 - Fixed Points in Computer Science, Proceedings of an International
Workshop, Warsaw, Poland, April 12-13, 2003},
pages = {64--79},
publisher = {University of Warsaw},
year = {2003},
url = {http://cs.ioc.ee/fics-archive/fics03-proceedings.pdf\#page=69},
timestamp = {Tue, 04 Aug 2020 15:14:17 +0200},
biburl = {https://dblp.org/rec/conf/fics/MoggiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MoggiF03,
author = {Eugenio Moggi and
Sonia Fagorzi},
editor = {Andrew D. Gordon},
title = {A Monadic Multi-stage Metalanguage},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {358--374},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_23},
doi = {10.1007/3-540-36576-1\_23},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/MoggiF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BettiniBNFGLMPTV03,
author = {Lorenzo Bettini and
Viviana Bono and
Rocco De Nicola and
Gian{-}Luigi Ferrari and
Daniele Gorla and
Michele Loreti and
Eugenio Moggi and
Rosario Pugliese and
Emilio Tuosto and
Betti Venneri},
editor = {Corrado Priami},
title = {The Klaim Project: Theory and Practice},
booktitle = {Global Computing. Programming Environments, Languages, Security, and
Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
Rovereto, Italy, February 9-14, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2874},
pages = {88--150},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40042-4\_4},
doi = {10.1007/978-3-540-40042-4\_4},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AnconaFMZ03,
author = {Davide Ancona and
Sonia Fagorzi and
Eugenio Moggi and
Elena Zucca},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Mixin Modules and Computational Effects},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {224--238},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_20},
doi = {10.1007/3-540-45061-0\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AnconaFMZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FioreMS02,
author = {Marcelo P. Fiore and
Eugenio Moggi and
Davide Sangiorgi},
title = {A Fully Abstract Model for the [pi]-calculus},
journal = {Inf. Comput.},
volume = {179},
number = {1},
pages = {76--117},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.2968},
doi = {10.1006/INCO.2002.2968},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FioreMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerrariMP02,
author = {Gian{-}Luigi Ferrari and
Eugenio Moggi and
Rosario Pugliese},
editor = {Vladimiro Sassone},
title = {Guardians for Ambient-based Monitoring},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {52--75},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80416-X},
doi = {10.1016/S1571-0661(04)80416-X},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerrariMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MoggiS01,
author = {Eugenio Moggi and
Amr Sabry},
title = {Monadic encapsulation of effects: a revised approach (extended version)},
journal = {J. Funct. Program.},
volume = {11},
number = {6},
pages = {591--627},
year = {2001},
url = {https://doi.org/10.1017/S0956796801004154},
doi = {10.1017/S0956796801004154},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MoggiS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FairtloughMM01,
author = {Matt Fairtlough and
Michael Mendler and
Eugenio Moggi},
title = {Special issue: Modalities in type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {11},
number = {4},
pages = {507--509},
year = {2001},
url = {https://doi.org/10.1017/S0960129501003310},
doi = {10.1017/S0960129501003310},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FairtloughMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/FerrariMP01,
author = {Gian{-}Luigi Ferrari and
Eugenio Moggi and
Rosario Pugliese},
editor = {Walid Taha},
title = {MetaKlaim: Meta-programming for Global Computing},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
Second International Workshop, {SAIG} 2001, Florence, Italy, September
6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2196},
pages = {183--198},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44806-3\_11},
doi = {10.1007/3-540-44806-3\_11},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saig/FerrariMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerrariMP01a,
author = {Gian{-}Luigi Ferrari and
Eugenio Moggi and
Rosario Pugliese},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Global Types and Network Services},
booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001,
associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {54},
pages = {35--48},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00233-6},
doi = {10.1016/S1571-0661(04)00233-6},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerrariMP01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerrariMP01,
author = {Gian{-}Luigi Ferrari and
Eugenio Moggi and
Rosario Pugliese},
editor = {Marina Lenisa and
Marino Miculan},
title = {Higher-Order Types and Meta-Programming for Global Computing},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {52--68},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00319-6},
doi = {10.1016/S1571-0661(04)00319-6},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerrariMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BentonHM00,
author = {Nick Benton and
John Hughes and
Eugenio Moggi},
editor = {Gilles Barthe and
Peter Dybjer and
Lu{\'{\i}}s Pinto and
Jo{\~{a}}o Saraiva},
title = {Monads and Effects},
booktitle = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha,
Portugal, September 9-15, 2000, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2395},
pages = {42--122},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45699-6\_2},
doi = {10.1007/3-540-45699-6\_2},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ac/BentonHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CalcagnoMT00,
author = {Cristiano Calcagno and
Eugenio Moggi and
Walid Taha},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {25--36},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_4},
doi = {10.1007/3-540-45022-X\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CalcagnoMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saig/CalcagnoM00,
author = {Cristiano Calcagno and
Eugenio Moggi},
editor = {Walid Taha},
title = {Multi-Stage Imperative Languages: {A} Conservative Extension Result},
booktitle = {Semantics, Applications, and Implementation of Program Generation,
International Workshop {SAIG} 2000, Montreal, Canada, September 20,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1924},
pages = {92--107},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45350-4\_9},
doi = {10.1007/3-540-45350-4\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/saig/CalcagnoM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MoggiTBS99,
author = {Eugenio Moggi and
Walid Taha and
Zine{-}El{-}Abidine Benaissa and
Tim Sheard},
editor = {S. Doaitse Swierstra},
title = {An Idealized MetaML: Simpler, and More Expressive},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {193--207},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_13},
doi = {10.1007/3-540-49099-X\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/MoggiTBS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoggiP99,
author = {Eugenio Moggi and
Fabrizio Palumbo},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Monadic Encapsulation of Effects: a Revised Approach},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {121},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80287-7},
doi = {10.1016/S1571-0661(05)80287-7},
timestamp = {Fri, 11 Nov 2022 15:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoggiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MoggiBJ99,
author = {Eugenio Moggi and
Gianna Bell{\`{e}} and
C. Barry Jay},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Monads, shapely functors, and traversals},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {187--208},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80316-0},
doi = {10.1016/S1571-0661(05)80316-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MoggiBJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JayBM98,
author = {C. Barry Jay and
Gianna Bell{\`{e}} and
Eugenio Moggi},
title = {Functorial {ML}},
journal = {J. Funct. Program.},
volume = {8},
number = {6},
pages = {573--619},
year = {1998},
url = {https://doi.org/10.1017/s0956796898003128},
doi = {10.1017/S0956796898003128},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JayBM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Moggi98,
author = {Eugenio Moggi},
editor = {Maurice Nivat},
title = {Functor Categories and Two-Level Languages},
booktitle = {Foundations of Software Science and Computation Structure, First International
Conference, FoSSaCS'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1378},
pages = {211--225},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053552},
doi = {10.1007/BFB0053552},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Moggi98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BelleM97,
author = {Gianna Bell{\`{e}} and
Eugenio Moggi},
editor = {Philippe de Groote},
title = {Typed Intermediate Languages for Shape Analysis},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {11--29},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_26},
doi = {10.1007/3-540-62688-3\_26},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BelleM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Moggi97,
author = {Eugenio Moggi},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {A categorical account of two-level languages},
booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming
Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA,
USA, March 23-26, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {6},
pages = {272},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80155-0},
doi = {10.1016/S1571-0661(05)80155-0},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Moggi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1997,
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026977},
doi = {10.1007/BFB0026977},
isbn = {3-540-63455-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FioreMS96,
author = {Marcelo P. Fiore and
Eugenio Moggi and
Davide Sangiorgi},
title = {A Fully-Abstract Model for the pi-Calculus (Extended Abstract)},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {43--54},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561302},
doi = {10.1109/LICS.1996.561302},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FioreMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BelleJM96,
author = {Gianna Bell{\`{e}} and
C. Barry Jay and
Eugenio Moggi},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Functorial {ML}},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {32--46},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_75},
doi = {10.1007/3-540-61756-6\_75},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BelleJM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Moggi95,
author = {Eugenio Moggi},
title = {A Semantics for Evaluation Logic},
journal = {Fundam. Informaticae},
volume = {22},
number = {1/2},
pages = {117--152},
year = {1995},
url = {https://doi.org/10.3233/FI-1995-22126},
doi = {10.3233/FI-1995-22126},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Moggi95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HylandM95,
author = {J. M. E. Hyland and
Eugenio Moggi},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {The S-Replete Constuction},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {96--116},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_22},
doi = {10.1007/3-540-60164-3\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HylandM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Moggi94,
author = {Eugenio Moggi},
title = {A General Semantics for Evaluation Logic},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {353--362},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316054},
doi = {10.1109/LICS.1994.316054},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Moggi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MitchellM91,
author = {John C. Mitchell and
Eugenio Moggi},
title = {Kripke-Style Models for Typed lambda Calculus},
journal = {Ann. Pure Appl. Log.},
volume = {51},
number = {1-2},
pages = {99--124},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90067-V},
doi = {10.1016/0168-0072(91)90067-V},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MitchellM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Moggi91,
author = {Eugenio Moggi},
title = {Notions of Computation and Monads},
journal = {Inf. Comput.},
volume = {93},
number = {1},
pages = {55--92},
year = {1991},
url = {https://doi.org/10.1016/0890-5401(91)90052-4},
doi = {10.1016/0890-5401(91)90052-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Moggi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Moggi91,
author = {Eugenio Moggi},
title = {A Cateogry-Theoretic Account of Program Modules},
journal = {Math. Struct. Comput. Sci.},
volume = {1},
number = {1},
pages = {103--139},
year = {1991},
url = {https://doi.org/10.1017/S0960129500000074},
doi = {10.1017/S0960129500000074},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Moggi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LongoM91,
author = {Giuseppe Longo and
Eugenio Moggi},
title = {Constructive Natural Deduction and its 'Omega-Set' Interpretation},
journal = {Math. Struct. Comput. Sci.},
volume = {1},
number = {2},
pages = {215--254},
year = {1991},
url = {https://doi.org/10.1017/S0960129500001298},
doi = {10.1017/S0960129500001298},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LongoM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Moggi91,
author = {Eugenio Moggi},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Modular Approach to Denotational Semantics},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {138--139},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013462},
doi = {10.1007/BFB0013462},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Moggi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/JacobsMS91,
author = {Bart Jacobs and
Eugenio Moggi and
Thomas Streicher},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Relating Models of Impredicative Type Theories},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {197--218},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013467},
doi = {10.1007/BFB0013467},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/JacobsMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LongoM90,
author = {Giuseppe Longo and
Eugenio Moggi},
title = {A Category-Theoretic Characterization of Functional Completeness},
journal = {Theor. Comput. Sci.},
volume = {70},
number = {2},
pages = {193--211},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90122-X},
doi = {10.1016/0304-3975(90)90122-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LongoM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HarperMM90,
author = {Robert Harper and
John C. Mitchell and
Eugenio Moggi},
editor = {Frances E. Allen},
title = {Higher-Order Modules and the Phase Distinction},
booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
of Programming Languages, San Francisco, California, USA, January
1990},
pages = {341--354},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/96709.96744},
doi = {10.1145/96709.96744},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HarperMM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Moggi89,
author = {Eugenio Moggi},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {A Category-theoretic Account of Program Modules},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {101--117},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018347},
doi = {10.1007/BFB0018347},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Moggi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Moggi89,
author = {Eugenio Moggi},
title = {Computational Lambda-Calculus and Monads},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39155},
doi = {10.1109/LICS.1989.39155},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Moggi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Moggi88,
author = {Eugenio Moggi},
title = {Partial Morphisms in Categories of Effective Objects},
journal = {Inf. Comput.},
volume = {76},
number = {2/3},
pages = {250--277},
year = {1988},
url = {https://doi.org/10.1016/0890-5401(88)90010-7},
doi = {10.1016/0890-5401(88)90010-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Moggi88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MitchellM87,
author = {John C. Mitchell and
Eugenio Moggi},
title = {Kripke-Style models for typed lambda calculus},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {303--314},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MitchellM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MeyerMMS87,
author = {Albert R. Meyer and
John C. Mitchell and
Eugenio Moggi and
Richard Statman},
title = {Empty Types in Polymorphic Lambda Calculus},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {253--262},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41648},
doi = {10.1145/41625.41648},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MeyerMMS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Moggi85,
author = {Eugenio Moggi},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Categories of Partial Morphisms and the lambda\({}^{\mbox{p}}\) -
Calculus},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {242--251},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_126},
doi = {10.1007/3-540-17162-2\_126},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Moggi85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LongoM84,
author = {Giuseppe Longo and
Eugenio Moggi},
title = {The Hereditary Partial Effective Functionals and Recursion Theory
in Higher Types},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1319--1332},
year = {1984},
url = {https://doi.org/10.2307/2274281},
doi = {10.2307/2274281},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LongoM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LongoM84,
author = {Giuseppe Longo and
Eugenio Moggi},
editor = {Michal Chytil and
V{\'{a}}clav Koubek},
title = {G{\"{o}}del Numberings, Principal Morphisms, Combinatory Algebras:
{A} Category-theoretic Characterization of Functional Completeness},
booktitle = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
September 3-7, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {176},
pages = {397--406},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0030322},
doi = {10.1007/BFB0030322},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LongoM84.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}
}
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.
last updated on 2024-03-24 00:09 CET 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:
