default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrew Kennedy
@inproceedings{DBLP:conf/case/FeiWTK23,
author = {Haolin Fei and
Ziwei Wang and
Stefano Tedeschi and
Andrew Kennedy},
title = {An Anthropomorphic Framework for Learning-Based Visual Servoing to
Reach Unseen Objects},
booktitle = {19th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CASE56687.2023.10260580},
doi = {10.1109/CASE56687.2023.10260580},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/FeiWTK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/FeiWWK23,
author = {Haolin Fei and
Ziwei Wang and
Darren Williams and
Andrew Kennedy},
title = {Hybrid Approach for Efficient and Accurate Category-Agnostic Object
Detection and Localization with Image Queries in Human-Robot Interaction},
booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society,
{IECON} 2023, Singapore, October 16-19, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IECON51785.2023.10312092},
doi = {10.1109/IECON51785.2023.10312092},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/FeiWWK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-11368,
author = {Haolin Fei and
Stefano Tedeschi and
Yanpei Huang and
Andrew Kennedy and
Ziwei Wang},
title = {Dynamic Hand Gesture-Featured Human Motor Adaptation in Tool Delivery
using Voice Recognition},
journal = {CoRR},
volume = {abs/2309.11368},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.11368},
doi = {10.48550/ARXIV.2309.11368},
eprinttype = {arXiv},
eprint = {2309.11368},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-11368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconac/RobertsXK22,
author = {Matthew Roberts and
Min Xia and
Andrew Kennedy},
title = {Data-driven Process Parameter Optimisation for Laser Wire Metal Additive
Manufacturing},
booktitle = {27th International Conference on Automation and Computing, {ICAC}
2022, Bristol, United Kingdom, September 1-3, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICAC55051.2022.9911139},
doi = {10.1109/ICAC55051.2022.9911139},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iconac/RobertsXK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/ShaoLXZSWKS21,
author = {Haidong Shao and
Wei Li and
Min Xia and
Yu Zhang and
Changqing Shen and
Darren Williams and
Andrew Kennedy and
Clarence W. de Silva},
title = {Fault Diagnosis of a Rotor-Bearing System Under Variable Rotating
Speeds Using Two-Stage Parameter Transfer and Infrared Thermal Images},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {70},
pages = {1--11},
year = {2021},
url = {https://doi.org/10.1109/TIM.2021.3111977},
doi = {10.1109/TIM.2021.3111977},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tim/ShaoLXZSWKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconac/YinJMKWT21,
author = {Yi Yin and
Vitalijs Jefimovs and
Tim Mitchell and
Andrew Kennedy and
Darren Williams and
Yingtao Tian},
title = {Numerical Modelling of Electron Beam Welding of Pure Niobium with
Beam Oscillation: Towards Industry 4.0},
booktitle = {26th International Conference on Automation and Computing, {ICAC}
2021, Portsmouth, United Kingdom, September 2-4, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ICAC50006.2021.9594169},
doi = {10.23919/ICAC50006.2021.9594169},
timestamp = {Wed, 01 Dec 2021 17:45:59 +0100},
biburl = {https://dblp.org/rec/conf/iconac/YinJMKWT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/KennedyKNW17,
author = {Andrew Kennedy and
Karsten Klein and
An Nguyen and
Florence Ying Wang},
title = {The Graph Landscape: using visual analytics for graph set analysis},
journal = {J. Vis.},
volume = {20},
number = {3},
pages = {417--432},
year = {2017},
url = {https://doi.org/10.1007/s12650-016-0374-6},
doi = {10.1007/S12650-016-0374-6},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/KennedyKNW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/systems/HoustonGMKLB17,
author = {Charles Houston and
Stephen Gooberman{-}Hill and
Richard Mathie and
Andrew Kennedy and
Yunxi Li and
Pedro Baiz},
title = {Case Study for the Return on Investment of Internet of Things Using
Agent-Based Modelling and Data Science},
journal = {Syst.},
volume = {5},
number = {1},
pages = {4},
year = {2017},
url = {https://doi.org/10.3390/systems5010004},
doi = {10.3390/SYSTEMS5010004},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/systems/HoustonGMKLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Kennedy17,
author = {Andrew Kennedy},
editor = {Sam Lindley and
Brent A. Yorgey},
title = {Driving types into {PHP} (invited talk)},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017},
pages = {1},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122975.3127322},
doi = {10.1145/3122975.3127322},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Kennedy17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BentonK0N16,
author = {Nick Benton and
Andrew Kennedy and
Martin Hofmann and
Vivek Nigam},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {Counting Successes: Effects and Transformations for Non-deterministic
Programs},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {56--72},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_3},
doi = {10.1007/978-3-319-30936-1\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BentonK0N16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vinci/KennedyKN15,
author = {Andrew Kennedy and
Karsten Klein and
An Nguyen},
editor = {Takayuki Itoh and
Paolo Bottoni and
Shigeo Takahashi},
title = {The Graph Landscape: a Concept for the Visual Analysis of Graph Set
Properties},
booktitle = {Proceedings of the 8th International Symposium on Visual Information
Communication and Interaction, {VINCI} 2015, Tokyo, Japan, August
24-26, 2015},
pages = {42--51},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2801040.2801059},
doi = {10.1145/2801040.2801059},
timestamp = {Tue, 06 Nov 2018 16:57:23 +0100},
biburl = {https://dblp.org/rec/conf/vinci/KennedyKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvrb/BarrettBHHKHW14,
author = {Christian Barrett and
Jacob Brown and
Jay Hartford and
Michael Hoerter and
Andrew Kennedy and
Ray Hassan and
David Whittinghill},
title = {Estimating Gesture Accuracy in Motion-Based Health Games},
journal = {J. Virtual Real. Broadcast.},
volume = {11},
year = {2014},
url = {http://www.jvrb.org/past-issues/11.2014/4020},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvrb/BarrettBHHKHW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AtkeyJK13,
author = {Robert Atkey and
Patricia Johann and
Andrew Kennedy},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Abstraction and invariance for algebraically indexed types},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {87--100},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429082},
doi = {10.1145/2429069.2429082},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/AtkeyJK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JensenBK13,
author = {Jonas Braband Jensen and
Nick Benton and
Andrew Kennedy},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {High-level separation logic for low-level code},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {301--314},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429105},
doi = {10.1145/2429069.2429105},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JensenBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KennedyBJD13,
author = {Andrew Kennedy and
Nick Benton and
Jonas Braband Jensen and
Pierre{-}{\'{E}}variste Dagand},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Coq: the world's best macro assembler?},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {13--24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505897},
doi = {10.1145/2505879.2505897},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KennedyBJD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrst/JesusKW13,
author = {Vivianette Ocasio{-}De Jes{\'{u}}s and
Andrew Kennedy and
David Whittinghill},
editor = {Nadia Magnenat{-}Thalmann and
Enhua Wu and
Susumu Tachi and
Daniel Thalmann and
Luciana Porcher Nedel and
Weiwei Xu},
title = {Impact of graphical fidelity on physiological responses in virtual
environments},
booktitle = {The 19th {ACM} Symposium on Virtual Reality Software and Technology,
VRST'13, Singapore, October 6-9, 2013},
pages = {73--76},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503713.2503751},
doi = {10.1145/2503713.2503751},
timestamp = {Thu, 29 Nov 2018 12:50:42 +0100},
biburl = {https://dblp.org/rec/conf/vrst/JesusKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BentonHKM12,
author = {Nick Benton and
Chung{-}Kil Hur and
Andrew Kennedy and
Conor McBride},
title = {Strongly Typed Term Representations in Coq},
journal = {J. Autom. Reason.},
volume = {49},
number = {2},
pages = {141--159},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9219-0},
doi = {10.1007/S10817-011-9219-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BentonHKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/CarsonKCDBGFK12,
author = {James P. Carson and
Andrew P. Kuprat and
Sean M. Colby and
Cassi A. Davis and
Christopher A. Basciano and
Kevin Greene and
John Feo and
Andrew Kennedy},
title = {Detecting distance between injected microspheres and target tumor
via 3D reconstruction of tissue sections},
booktitle = {Annual International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2012, San Diego, CA, USA, August 28 -
September 1, 2012},
pages = {1149--1152},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/EMBC.2012.6346139},
doi = {10.1109/EMBC.2012.6346139},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/CarsonKCDBGFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itaero/DayDIKKP12,
author = {John Day and
Kenneth Donahue and
Michel D. Ingham and
Alexander Kadesch and
Andrew Kennedy and
Ethan Post},
title = {Modeling Off-Nominal Behavior in SysML},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
2012},
year = {2012},
url = {https://doi.org/10.2514/6.2012-2576},
doi = {10.2514/6.2012-2576},
timestamp = {Tue, 13 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itaero/DayDIKKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itaero/InghamDDKKKPS12,
author = {Michel D. Ingham and
John C. Day and
Kenneth Donahue and
Alexander Kadesch and
Andrew Kennedy and
Mohammed Omair Khan and
Ethan Post and
Shaun Standley},
title = {A Model-based Approach to Engineering Behavior of Complex Aerospace
Systems},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
2012},
year = {2012},
url = {https://doi.org/10.2514/6.2012-2533},
doi = {10.2514/6.2012-2533},
timestamp = {Tue, 13 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itaero/InghamDDKKKPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2010,
editor = {Andrew Kennedy and
Nick Benton},
title = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Madrid, Spain, January
23, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1708016},
isbn = {978-1-60558-891-9},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Kennedy09,
author = {Andrew Kennedy},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Types for Units-of-Measure: Theory and Practice},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {268--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_8},
doi = {10.1007/978-3-642-17685-2\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Kennedy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BentonKBH09,
author = {Nick Benton and
Andrew Kennedy and
Lennart Beringer and
Martin Hofmann},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Relational semantics for effect-based program transformations: higher-order
store},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {301--312},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599447},
doi = {10.1145/1599410.1599447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BentonKBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BentonKV09,
author = {Nick Benton and
Andrew Kennedy and
Carsten Varming},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {Some Domain Theory and Denotational Semantics in Coq},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {115--130},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_10},
doi = {10.1007/978-3-642-03359-9\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BentonKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2009,
editor = {Andrew Kennedy and
Amal Ahmed},
title = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Savannah, GA, USA,
January 24, 2009},
publisher = {{ACM}},
year = {2009},
url = {http://dl.acm.org/citation.cfm?id=1481861},
isbn = {978-1-60558-420-1},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Kennedy08,
author = {Andrew Kennedy},
editor = {Eijiro Sumii},
title = {Types for units-of-measure in f{\#}: invited talk},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada,
September 21, 2008},
pages = {1--2},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411304.1411305},
doi = {10.1145/1411304.1411305},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/ml/Kennedy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acc/MhaskarK07,
author = {Prashant Mhaskar and
Andrew Kennedy},
title = {Robust Model Predictive Control of Nonlinear Systems: Handling Rate
Constraints},
booktitle = {American Control Conference, {ACC} 2007, New York, NY, USA, 9-13 July,
2007},
pages = {5188--5193},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ACC.2007.4282482},
doi = {10.1109/ACC.2007.4282482},
timestamp = {Fri, 03 Dec 2021 13:01:26 +0100},
biburl = {https://dblp.org/rec/conf/acc/MhaskarK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Kennedy07,
author = {Andrew Kennedy},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Compiling with continuations, continued},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {177--190},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291179},
doi = {10.1145/1291151.1291179},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Kennedy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BentonKBH07,
author = {Nick Benton and
Andrew Kennedy and
Lennart Beringer and
Martin Hofmann},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Relational semantics for effect-based program transformations with
dynamic allocation},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {87--96},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273932},
doi = {10.1145/1273920.1273932},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BentonKBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kennedy06,
author = {Andrew Kennedy},
title = {Securing the .NET programming model},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {311--317},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.014},
doi = {10.1016/J.TCS.2006.08.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kennedy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BentonKHB06,
author = {Nick Benton and
Andrew Kennedy and
Martin Hofmann and
Lennart Beringer},
editor = {Naoki Kobayashi},
title = {Reading, Writing and Relations},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {114--130},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_7},
doi = {10.1007/11924661\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BentonKHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/EmirKRY06,
author = {Burak Emir and
Andrew Kennedy and
Claudio V. Russo and
Dachuan Yu},
editor = {Dave Thomas},
title = {Variance and Generalized Constraints for C\({}^{\mbox{{\#}}}\) Generics},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {279--303},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_18},
doi = {10.1007/11785477\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/EmirKRY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ml/2006,
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876},
doi = {10.1145/1159876},
isbn = {1-59593-483-9},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ml/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KennedyR05,
author = {Andrew Kennedy and
Claudio V. Russo},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Generalized algebraic data types and object-oriented programming},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {21--40},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094814},
doi = {10.1145/1094811.1094814},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KennedyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KennedyS04,
author = {Andrew Kennedy and
Don Syme},
title = {Transposing {F} to C\({}^{\mbox{{\#}}}\): expressivity of parametric
polymorphism in an object-oriented language},
journal = {Concurr. Pract. Exp.},
volume = {16},
number = {7},
pages = {707--733},
year = {2004},
url = {https://doi.org/10.1002/cpe.801},
doi = {10.1002/CPE.801},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/KennedyS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Kennedy04,
author = {Andrew Kennedy},
title = {Pickler combinators},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {727--739},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005209},
doi = {10.1017/S0956796804005209},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Kennedy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BentonKLR04,
author = {Nick Benton and
Andrew Kennedy and
Sam Lindley and
Claudio V. Russo},
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {Shrinking Reductions in {SML.NET}},
booktitle = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {142--159},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431664\_9},
doi = {10.1007/11431664\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/BentonKLR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/YuKS04,
author = {Dachuan Yu and
Andrew Kennedy and
Don Syme},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Formalization of generics for the .NET common language runtime},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {39--51},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964005},
doi = {10.1145/964001.964005},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/YuKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BentonKR04,
author = {Nick Benton and
Andrew Kennedy and
Claudio V. Russo},
editor = {Eugenio Moggi and
David Scott Warren},
title = {Adventures in interoperability: the {SML.NET} experience},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {215--226},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013987},
doi = {10.1145/1013963.1013987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BentonKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AttardiCK03,
author = {Giuseppe Attardi and
Antonio Cisternino and
Andrew Kennedy},
editor = {Michael Leuschel},
title = {CodeBricks: code fragments as building blocks},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2003, San Diego, California,
USA, June 7, 2003},
pages = {66--74},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777388.777396},
doi = {10.1145/777388.777396},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pepm/AttardiCK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BentonK01,
author = {Nick Benton and
Andrew Kennedy},
title = {Exceptional Syntax Journal of Functional Programming},
journal = {J. Funct. Program.},
volume = {11},
number = {4},
pages = {395--410},
year = {2001},
url = {https://doi.org/10.1017/S0956796801004099},
doi = {10.1017/S0956796801004099},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BentonK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KennedyS01,
author = {Andrew Kennedy and
Don Syme},
editor = {Michael Burke and
Mary Lou Soffa},
title = {Design and Implementation of Generics for the .NET Common Language
Runtime},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {1--12},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378797},
doi = {10.1145/378795.378797},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KennedyS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BentonK01,
author = {Nick Benton and
Andrew Kennedy},
editor = {Nick Benton and
Andrew Kennedy},
title = {{BABEL} 2001 - Preface},
booktitle = {First International Workshop on Multi-Language Infrastructure and
Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
Italy, September 8, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80448-7},
doi = {10.1016/S1571-0661(05)80448-7},
timestamp = {Thu, 01 Dec 2022 16:26:14 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BentonK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/babel/2001,
editor = {Nick Benton and
Andrew Kennedy},
title = {First International Workshop on Multi-Language Infrastructure and
Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
Italy, September 8, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {1},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/59/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/babel/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/McAdamKB00,
author = {Bruce J. McAdam and
Andrew Kennedy and
Nick Benton},
editor = {Stephen Gilmore},
title = {Type inference for MLj},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {159--172},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 13:23:23 +0100},
biburl = {https://dblp.org/rec/conf/sfp/McAdamKB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BentonK99,
author = {Nick Benton and
Andrew Kennedy},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Interlanguage Working Without Tears: Blending {SML} with Java},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {126--137},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317791},
doi = {10.1145/317636.317791},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BentonK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BentonK99,
author = {Nick Benton and
Andrew Kennedy},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Monads, Effects and Transformations},
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 = {3--20},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80280-4},
doi = {10.1016/S1571-0661(05)80280-4},
timestamp = {Fri, 11 Nov 2022 15:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BentonK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BentonKR98,
author = {Nick Benton and
Andrew Kennedy and
George Russell},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Compiling Standard {ML} to Java Bytecodes},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {129--140},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289435},
doi = {10.1145/289423.289435},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BentonKR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kennedy97,
author = {Andrew Kennedy},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Relational Parametricity and Units of Measure},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {442--455},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263761},
doi = {10.1145/263699.263761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Kennedy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Kennedy96,
author = {Andrew Kennedy},
title = {Drawing Trees},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {527--534},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001830},
doi = {10.1017/S0956796800001830},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Kennedy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Kennedy94,
author = {Andrew Kennedy},
editor = {Donald Sannella},
title = {Dimension Types},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {348--362},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_23},
doi = {10.1007/3-540-57880-3\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Kennedy94.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 2024-04-24 23:10 CEST 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:
