default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kenneth MacKenzie
@inproceedings{DBLP:conf/haskell/LiuMKJWC25,
author = {Ziyang Liu and
Kenneth MacKenzie and
Roman Kireev and
Michael Peyton Jones and
Philip Wadler and
Manuel M. T. Chakravarty},
editor = {J. Garrett Morris and
Ningning Xie},
title = {Plinth: {A} Plugin-Powered Language Built on Haskell (Experience Report)},
booktitle = {Proceedings of the 18th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2025, Singapore, October 12-18, 2025},
pages = {30--37},
publisher = {{ACM}},
year = {2025},
url = {https://doi.org/10.1145/3759164.3759347},
doi = {10.1145/3759164.3759347},
timestamp = {Wed, 25 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/LiuMKJWC25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/BrownJBGM20,
author = {Christopher Brown and
Vladimir Janjic and
Adam D. Barwell and
Javier Daniel Garcia and
Kenneth MacKenzie},
title = {Refactoring GrPPI: Generic Refactoring for Generic Parallelism in
{C++}},
journal = {Int. J. Parallel Program.},
volume = {48},
number = {4},
pages = {603--625},
year = {2020},
url = {https://doi.org/10.1007/s10766-020-00667-x},
doi = {10.1007/S10766-020-00667-X},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijpp/BrownJBGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/Chakravarty0MMJ20,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Michael Peyton Jones and
Philip Wadler},
editor = {Matthew Bernhard and
Andrea Bracciali and
L. Jean Camp and
Shin'ichiro Matsuo and
Alana Maurushat and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {The Extended {UTXO} Model},
booktitle = {Financial Cryptography and Data Security - {FC} 2020 International
Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia,
February 14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12063},
pages = {525--539},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54455-3\_37},
doi = {10.1007/978-3-030-54455-3\_37},
timestamp = {Sat, 15 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/Chakravarty0MMJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chakravarty0MMM20,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Jann M{\"{u}}ller and
Michael Peyton Jones and
Polina Vinogradova and
Philip Wadler},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Native Custom Tokens in the Extended {UTXO} Model},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {89--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_7},
doi = {10.1007/978-3-030-61467-6\_7},
timestamp = {Wed, 28 Oct 2020 11:47:58 +0100},
biburl = {https://dblp.org/rec/conf/isola/Chakravarty0MMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Chakravarty0MMM20a,
author = {Manuel M. T. Chakravarty and
James Chapman and
Kenneth MacKenzie and
Orestis Melkonian and
Jann M{\"{u}}ller and
Michael Peyton Jones and
Polina Vinogradova and
Philip Wadler and
Joachim Zahnentferner},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {UTXO\({}_{\mbox{sf ma}}\): {UTXO} with Multi-asset Support},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {112--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_8},
doi = {10.1007/978-3-030-61467-6\_8},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Chakravarty0MMM20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BrownJBTLCFSAM20,
author = {Christopher Brown and
Vladimir Janjic and
Adam D. Barwell and
John Donald Thomson and
Roberto Casta{\~{n}}eda Lozano and
Murray Cole and
Bj{\"{o}}rn Franke and
Jos{\'{e}} Daniel Garc{\'{\i}}a S{\'{a}}nchez and
David del Rio Astorga and
Kenneth MacKenzie},
title = {A Hybrid Approach to Parallel Pattern Discovery in {C++}},
booktitle = {28th Euromicro International Conference on Parallel, Distributed and
Network-Based Processing, {PDP} 2020, V{\"{a}}ster{\aa}s, Sweden,
March 11-13, 2020},
pages = {187--191},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/PDP50117.2020.00035},
doi = {10.1109/PDP50117.2020.00035},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/BrownJBTLCFSAM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/JonesGKMNW19,
author = {Michael Peyton Jones and
Vasilis Gkoumas and
Roman Kireev and
Kenneth MacKenzie and
Chad Nester and
Philip Wadler},
editor = {Graham Hutton},
title = {Unraveling Recursion: Compiling an {IR} with Recursion to System {F}},
booktitle = {Mathematics of Program Construction - 13th International Conference,
{MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11825},
pages = {414--443},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33636-3\_15},
doi = {10.1007/978-3-030-33636-3\_15},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mpc/JonesGKMNW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/DoshiSPCGMW17,
author = {Trushali Doshi and
John J. Soraghan and
Lykourgos Petropoulakis and
Gaetano Di Caterina and
Derek Grose and
Kenneth MacKenzie and
Christina Wilson},
title = {Automatic pharynx and larynx cancer segmentation framework {(PLCSF)}
on contrast enhanced {MR} images},
journal = {Biomed. Signal Process. Control.},
volume = {33},
pages = {178--188},
year = {2017},
url = {https://doi.org/10.1016/j.bspc.2016.12.001},
doi = {10.1016/J.BSPC.2016.12.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bspc/DoshiSPCGMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/TrinderCPSTAABB17,
author = {Phil Trinder and
Natalia Chechina and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Stephen Adams and
Stavros Aronis and
Robert Baker and
Eva Bihari and
Olivier Boudeville and
Francesco Cesarini and
Maurizio Di Stefano and
Sverker Eriksson and
Viktoria Ford{\'{o}}s and
Amir Ghaffari and
Aggelos Giantsios and
Rickard Green and
Csaba Hoch and
David Klaftenegger and
Huiqing Li and
Kenneth Lundin and
Kenneth MacKenzie and
Katerina Roukounaki and
Yiannis Tsiouris and
Kjell Winblad},
title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
Actor Platform},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {39},
number = {4},
pages = {17:1--17:46},
year = {2017},
url = {https://doi.org/10.1145/3107937},
doi = {10.1145/3107937},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/TrinderCPSTAABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ChechinaMTTBFHG17,
author = {Natalia Chechina and
Kenneth MacKenzie and
Simon J. Thompson and
Phil Trinder and
Olivier Boudeville and
Viktoria Ford{\'{o}}s and
Csaba Hoch and
Amir Ghaffari and
Mario Moro Hernandez},
title = {Evaluating Scalable Distributed Erlang for Scalability and Reliability},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {28},
number = {8},
pages = {2244--2257},
year = {2017},
url = {https://doi.org/10.1109/TPDS.2017.2654246},
doi = {10.1109/TPDS.2017.2654246},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/ChechinaMTTBFHG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/MenonPSLMHC17,
author = {Radhika Menon and
Lykourgos Petropoulakis and
John J. Soraghan and
Heba M. Lakany and
Kenneth MacKenzie and
Omar Hilmi and
Gaetano Di Caterina},
editor = {Margarida Silveira and
Ana L. N. Fred and
Hugo Gamboa and
M{\'{a}}rio Vaz},
title = {Automatic Quantification of Vocal Cord Paralysis - An Application
of Fibre-optic Endoscopy Video Processing},
booktitle = {Proceedings of the 10th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2017) - Volume 2:
BIOIMAGING, Porto, Portugal, February 21-23, 2017},
pages = {108--113},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006231001080113},
doi = {10.5220/0006231001080113},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biostec/MenonPSLMHC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TrinderCPSTAABB17,
author = {Phil Trinder and
Natalia Chechina and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Stephen Adams and
Stavros Aronis and
Robert Baker and
Eva Bihari and
Olivier Boudeville and
Francesco Cesarini and
Maurizio Di Stefano and
Sverker Eriksson and
Viktoria Ford{\'{o}}s and
Amir Ghaffari and
Aggelos Giantsios and
Rickard Green and
Csaba Hoch and
David Klaftenegger and
Huiqing Li and
Kenneth Lundin and
Kenneth MacKenzie and
Katerina Roukounaki and
Yiannis Tsiouris and
Kjell Winblad},
title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed
Actor Platform},
journal = {CoRR},
volume = {abs/1704.07234},
year = {2017},
url = {http://arxiv.org/abs/1704.07234},
eprinttype = {arXiv},
eprint = {1704.07234},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TrinderCPSTAABB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/JanjicBMHDAG16,
author = {Vladimir Janjic and
Christopher Brown and
Kenneth MacKenzie and
Kevin Hammond and
Marco Danelutto and
Marco Aldinucci and
Jos{\'{e}} Daniel Garc{\'{\i}}a},
title = {{RPL:} {A} Domain-Specific Language for Designing and Implementing
Parallel {C++} Applications},
booktitle = {24th Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
February 17-19, 2016},
pages = {288--295},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PDP.2016.122},
doi = {10.1109/PDP.2016.122},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/JanjicBMHDAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/CampbellDSPCGM15,
author = {Sean Campbell and
Trushali Doshi and
John J. Soraghan and
Lykourgos Petropoulakis and
Gaetano Di Caterina and
Derek Grose and
Kenneth MacKenzie},
title = {3-dimensional throat region segmentation from {MRI} data based on
fourier interpolation and 3-dimensional level set methods},
booktitle = {37th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
2015},
pages = {2419--2422},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMBC.2015.7318882},
doi = {10.1109/EMBC.2015.7318882},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/CampbellDSPCGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/MacKenzieCT15,
author = {Kenneth MacKenzie and
Natalia Chechina and
Phil Trinder},
editor = {Hans Svensson and
Melinda T{\'{o}}th},
title = {Performance portability through semi-explicit placement in distributed
Erlang},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Workshop on Erlang 2015, Vancouver,
BC, Canada, September 4, 2015},
pages = {27--38},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804295.2804299},
doi = {10.1145/2804295.2804299},
timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
biburl = {https://dblp.org/rec/conf/erlang/MacKenzieCT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micad/DoshiSGMP15,
author = {Trushali Doshi and
John J. Soraghan and
Derek Grose and
Kenneth MacKenzie and
Lykourgos Petropoulakis},
editor = {Lubomir M. Hadjiiski and
Georgia D. Tourassi},
title = {Automatic detection of larynx cancer from contrast-enhanced magnetic
resonance images},
booktitle = {Medical Imaging 2015: Computer-Aided Diagnosis, Orlando, Florida,
United States, 21-26 February 2015},
series = {{SPIE} Proceedings},
volume = {9414},
pages = {94142N},
publisher = {{SPIE}},
year = {2015},
url = {https://doi.org/10.1117/12.2081864},
doi = {10.1117/12.2081864},
timestamp = {Wed, 27 Nov 2024 12:15:10 +0100},
biburl = {https://dblp.org/rec/conf/micad/DoshiSGMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/DoshiSGMP14,
author = {Trushali Doshi and
John J. Soraghan and
Derek Grose and
Kenneth MacKenzie and
Lykourgos Petropoulakis},
title = {Modified fuzzy c-means clustering for automatic tongue base tumour
extraction from {MRI} data},
booktitle = {22nd European Signal Processing Conference, {EUSIPCO} 2014, Lisbon,
Portugal, September 1-5, 2014},
pages = {2460--2464},
publisher = {{IEEE}},
year = {2014},
url = {https://ieeexplore.ieee.org/document/6952892/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusipco/DoshiSGMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FenacciM11,
author = {Damon Fenacci and
Kenneth MacKenzie},
editor = {Pierre Ganty and
Mark Marron},
title = {Static Resource Analysis for Java Bytecode Using Amortisation and
Separation Logic},
booktitle = {Proceedings of the Sixth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2011, Saarbr{\"{u}}cken,
Germany, March 27, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {1},
pages = {19--32},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.003},
doi = {10.1016/J.ENTCS.2011.11.003},
timestamp = {Fri, 10 Mar 2023 13:47:13 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FenacciM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/AspinallAMS10,
author = {David Aspinall and
Robert Atkey and
Kenneth MacKenzie and
Donald Sannella},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {1--22},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_1},
doi = {10.1007/978-3-642-15640-3\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/AspinallAMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/LoidlMJB09,
author = {Hans{-}Wolfgang Loidl and
Kenneth MacKenzie and
Steffen Jost and
Lennart Beringer},
title = {A Proof-Carrying-Code Infrastructure for Resources},
booktitle = {Fourth Latin-American Symposium on Dependable Computing, {LADC} 2009,
Jo{\~{a}}o Pessoa, Brazil, 1-4 September 2009},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LADC.2009.13},
doi = {10.1109/LADC.2009.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ladc/LoidlMJB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/GilmoreMW05,
author = {Stephen Gilmore and
Kenneth MacKenzie and
Nicholas Wolverson},
title = {Extending resource-bounded functional programming languages with mutable
state and concurrency},
journal = {Scalable Comput. Pract. Exp.},
volume = {6},
number = {4},
year = {2005},
url = {http://www.scpe.org/index.php/scpe/article/view/344},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scpe/GilmoreMW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/AspinallM05,
author = {David Aspinall and
Kenneth MacKenzie},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
title = {Mobile Resource Guarantees and Policies},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
March 8-11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {16--36},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_2},
doi = {10.1007/11741060\_2},
timestamp = {Fri, 09 Apr 2021 18:40:44 +0200},
biburl = {https://dblp.org/rec/conf/cassis/AspinallM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SannellaHAGSBLMMS05,
author = {Donald Sannella and
Martin Hofmann and
David Aspinall and
Stephen Gilmore and
Ian Stark and
Lennart Beringer and
Hans{-}Wolfgang Loidl and
Kenneth MacKenzie and
Alberto Momigliano and
Olha Shkaravska},
editor = {Marko C. J. D. van Eekelen},
title = {Mobile Resource Guarantees (project evaluation paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {211--226},
publisher = {Intellect},
year = {2005},
timestamp = {Wed, 09 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MacKenzieW03,
author = {Kenneth MacKenzie and
Nicholas Wolverson},
editor = {Stephen Gilmore},
title = {Camelot and Grail: resource-aware functional programming for the {JVM}},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {29--46},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 12:00:20 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MacKenzieW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WolversonM03,
author = {Nicholas Wolverson and
Kenneth MacKenzie},
editor = {Stephen Gilmore},
title = {O'Camelot: adding objects to a resource-aware functional language},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {47--62},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/WolversonM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeringerMS03,
author = {Lennart Beringer and
Kenneth MacKenzie and
Ian Stark},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {Grail: a functional form for imperative mobile code},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {3--23},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80083-0},
doi = {10.1016/S1571-0661(05)80083-0},
timestamp = {Thu, 08 Dec 2022 14:02:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeringerMS03.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.
last updated on 2026-02-26 23:26 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:
