Annual Report 2017 Annual Report 2017

Total Page:16

File Type:pdf, Size:1020Kb

Annual Report 2017 Annual Report 2017 King’s College, Cambridge Annual Report 2017 Annual Report 2017 Contents The Provost 2 The Fellowship 5 Tutorial 22 Undergraduates 35 Graduates 39 Chapel 45 Choir 49 Research 55 Library and Archives 58 Bursary 61 Staff 64 Development 67 Major Promotions, Appointments or Awards 93 Appointments & Honours 94 Obituaries 99 Information for Non-Resident Members 247 on the Cranmer Road site. Work will start as soon as planning consent The Provost has been obtained. Our ultimate aim is to be able to house all graduate students in College premises. Plans for improvements to the Chapel lighting are also well advanced; these too have benefited from a generous donation. 2 I am coming to the end of my fourth year as 3 THE PROVOST Provost. Since arriving I have moved from a It has been a very good year for philanthropic donations to the College, position of some confusion about how thanks to the efforts of the Development Office under the energetic things were organised here to a position of leadership of Lorraine Headen, our new Development Director. It is complete identification with the philosophy THE PROVOST very gratifying that King’s is very near the top of the College table for and outlook of this most remarkable donations in the year just gone. We are enormously grateful to those who College. King’s is not the largest, nor is it the generously support the College’s purposes in this way, and every donation, richest of the Colleges, but its international large or small, is very greatly appreciated. I can also report that after profile and outstanding intellectual and a number of false dawns the production of the Register is entering its musical tradition place it in the first rank, final phase and it seems very likely that it will appear in the next calendar Professor Michael Proctor and I am proud to be associated with it. I year. I know that the patience of subscribers has been sorely tried, but I am have since my arrival been concentrating sure they will be pleased with the final product. Because of new data principally on matters of governance and, inevitably, fundraising, and I protection regulations due to take effect in May it seems unlikely that there am most grateful for the support of the Fellows, who have elected me to a will be another Register in the current form after this one. second five-year term; I now retire in 2023. I hope to use the next period to help develop a strategic direction for the College so that it can navigate I was hoping to report that the King’s community orchard, which has come through what will certainly be choppy waters ahead. on greatly since being planted, had yielded a cornucopia of fruit for the benefit of students, staff and the Catering Department. Sadly, however, all 2017 has been a good year for repairs. The back gate has been under the produce was stolen overnight in early September in what was clearly reconstruction for some time, to preserve it from falling into the ditch. One an organised raid. This is enormously disappointing for the gardening side is complete and works on the other side are under way. Improvements staff, who have worked so hard to bring the trees on, and measures will are being made to the Gatehouse and Porters’ Lodge. One consequence has have to be taken to prevent a repetition next year. been the temporary installation of the very stylish ‘Portercabin’ on the Cobbles in front of the College. Webb’s Court has been beset by scaffolding A major step was taken with the decision to commemorate, a little due to the renewal of the Library roof; a similar fate awaits Bodley’s in the belatedly, the centenary of the birth of Alan Turing. An annual lecture next year or so. It is also hoped to start repairs and improvements to the series has been established, with the first lecture, on Turing’s Gibbs staircases and basements in the near future. mathematics, given by Leslie Valiant FRS, Honorary Fellow. It is hoped that Andrew Hodges, Turing’s acclaimed biographer, will be the next A number of new initiatives are in the offing. Thanks to a very generous lecturer. In addition we intend to establish funds for Alan Turing research pledge, we have the funds to construct new accommodation for graduates scholarships and a visiting professorship. Finally and rather differently, the leading sculptor Antony Gormley has offered at cost a standing figure sculpture in memory of Turing, which will be created when sufficient The Fellowship funds have been raised. This time last year I reported that the public display of Class Lists, and the 4 Baxter Tables, were likely to disappear. In the event the Student Union, It is with great sadness that the College announces the death, peacefully on 5 THE FELLOWSHIP which had originally asked for the change, modified its position after 1 August 2017, of Professor Sir Patrick Bateson FRS, Provost 1988–2003. a referendum and the proposal was defeated on a ballot of the University. A full obituary will appear during 2018. So things are as they were, for now at least. But the increasing number New life Fellows THE PROVOST of students opting out of disclosure of their results will eventually make it difficult for the relative performances of Colleges to be measured. Professor James Fawcett Professor Iain Fenlon Our results as indicated in the Tables are further improved from last year: King’s is eighth overall, the best result we have had in 23 years. We are Fellows moving on better in Arts and Humanities than in the Sciences. Engineering, English, The following left their Fellowships in the last year: Economics, Human Social and Political Sciences, History and Medicine all Siobhan Braybrook performed particularly strongly, and we topped the table for Arts finalists averaged over the last three years. We are most grateful for all the hard Valentina Migliori work put in by the Directors of Studies and Tutors, and particularly by Oscar Randal-Williams Perveez Mody, the Senior Tutor, who is stepping down after four years of Alexander Stevic great dedication to the teaching and welfare of our students. She will be succeeded by Tim Flack, presently Financial Tutor. Yasir Suleiman Hanna Weibye I should like to end by paying tribute to all the staff who keep the College Stephen Wertheim (intermitting 2017–2018) going. Many of them labour unseen and we sometimes take them for granted, but without them the College would simply not function. They are New Fellows very much part of the King’s community, and I thank them warmly for all JasoN sharMaN (Fellow, Politics) they do for us. Jason Sharman is the Sir Patrick Sheehy Professor of International Relations in the Department of Politics and International Studies at Michael Proctor Cambridge. He received his PhD in Political Science from the University of Illinois at Urbana-Champaign in 1999, and his undergraduate degree in History and Politics from the University of Western Australia. Previously, Sharman worked at American University in Bulgaria, the University of Sydney and Griffith University, and he has spent shorter periods as a visitor at St Petersburg State University, Columbia University and mentored many undergraduates. The reward of participating in a and the London School of Economics. student’s intellectual growth is a privilege that I greatly value. Sharman’s research interests range from the study of international Academic recognitions include a Faculty Research Award from Google corruption, money laundering and tax havens, to the global politics of the (first recipient from India), a Hamied Visiting Lectureship to Cambridge 6 early modern world. His most recent books are International Order in University, an Indo-US Science and Technology Fellowship to Princeton 7 Diversity: War, Trade and Rule in the Indian Ocean (2015, co-authored and New York Universities, and an Oustanding Investigator Award from THE FELLOWSHIP with Andrew Phillips) and The Despot’s Guide to Wealth Management: the Government of India. My work has been covered several times in the On the International Campaign against Grand Corruption (2017). international media, including the BBC, Time magazine, and TED. roNoJoy adhikari (Fellow, Mathematics) Other interests include applying physico-chemical transformations to soft THE FELLOWSHIP I was born in Calcutta, India and spent my childhood in Ndola, a city in the and liquid materials with their eventual consumption as goal, playing a 25- Copperbelt province of Zambia, where my father, a metallurgist, had taken stringed Indian musical instrument, and reading the ancients. a job. I have fond memories of school in Africa, in the midst of teachers and students of many nationalities. Upon returning to India, I completed Mark aiNslie (Fellow, Engineering) my education at universities in Calcutta, Madras and Bangalore. I spent a Dr Mark Ainslie is an Engineering and Physical Sciences (EPSRC) Early few years in Scotland as a Post-Doctoral Fellow at the University of Career Fellow in the Bulk Superconductivity Group, part of Division C Edinburgh before returning to India to a Faculty position at the Institute (Mechanics, Materials and Design) of the Department of Engineering. He of Mathematical Sciences in Chennai. I have recently been appointed as received BE (Electrical & Electronic) & BA (Japanese) degrees from the Lecturer in the Department of Applied Mathematics and Theoretical University of Adelaide in 2004, an MEng in Electrical Engineering from Physics and look forward with great excitement to life in Cambridge. the University of Tokyo in 2008, and took his PhD in Electrical Engineering at Cambridge in 2012. I trained as a theoretical physicist specialising in statistical and condensed matter physics.
Recommended publications
  • School Open Events 2021 Intake
    SCHOOL OPEN EVENTS 2021 INTAKE Religious Education Cooking Humanities Food Technology College Biology Gardening Celebrating Latin Football Qualifications University Sports Hall Pride PhysicsSCHOOLSSixth Form VIRTUAL TOURS Achievement Quality ApprenticeshipsEducation Progress Modern Languages Netball Life Theatre Technology Carers Consideration Teaching Physical Education Read Confidence Modern Languages Excellent Behaviour Rugby Mentor Drama Student Literature Graphics Specialist Rooms Learning Expressive ArtsTechnologySCHOOLS Art VIRTUAL TOURSDebating Assessment Courage BTECSCHOOLS ScienceNational Curriculum VIRTUAL TOURSBusiness Studies Pupil Teacher Textiles Clubs Enfield HomeworkEnglish Literature Form Values School Fun Proud Raising AspirationsSupportOutstanding French Aspirations Respectful Transition Nurtured Trust Athletics Design and PerformanceDiscipline Community Music Encouraged High Quality Teaching Maths Monitor Careers Orchestra Plan Chess Polite Chemistry Gymnasium Hockey Tennis Ofsted Aspirational Target Expressive Photography German Child Academy Trust Performance Media Studies Spanish Computer Science Parents Governing Body Development Applying for a Secondary School for September 2021 www.eadmissions.org.uk www.enfield.gov.uk/admissions SCHOOL OPEN EVENTS 2021 INTAKE Due to the current requirements in relation to social distancing, Enfield schools will not be able to hold their open evenings in the same way. Schools will, however, make sure that you have an opportunity to learn more about them, including opportunities
    [Show full text]
  • England LEA/School Code School Name Town 330/6092 Abbey
    England LEA/School Code School Name Town 330/6092 Abbey College Birmingham 873/4603 Abbey College, Ramsey Ramsey 865/4000 Abbeyfield School Chippenham 803/4000 Abbeywood Community School Bristol 860/4500 Abbot Beyne School Burton-on-Trent 312/5409 Abbotsfield School Uxbridge 894/6906 Abraham Darby Academy Telford 202/4285 Acland Burghley School London 931/8004 Activate Learning Oxford 307/4035 Acton High School London 919/4029 Adeyfield School Hemel Hempstead 825/6015 Akeley Wood Senior School Buckingham 935/4059 Alde Valley School Leiston 919/6003 Aldenham School Borehamwood 891/4117 Alderman White School and Language College Nottingham 307/6905 Alec Reed Academy Northolt 830/4001 Alfreton Grange Arts College Alfreton 823/6905 All Saints Academy Dunstable Dunstable 916/6905 All Saints' Academy, Cheltenham Cheltenham 340/4615 All Saints Catholic High School Knowsley 341/4421 Alsop High School Technology & Applied Learning Specialist College Liverpool 358/4024 Altrincham College of Arts Altrincham 868/4506 Altwood CofE Secondary School Maidenhead 825/4095 Amersham School Amersham 380/6907 Appleton Academy Bradford 330/4804 Archbishop Ilsley Catholic School Birmingham 810/6905 Archbishop Sentamu Academy Hull 208/5403 Archbishop Tenison's School London 916/4032 Archway School Stroud 845/4003 ARK William Parker Academy Hastings 371/4021 Armthorpe Academy Doncaster 885/4008 Arrow Vale RSA Academy Redditch 937/5401 Ash Green School Coventry 371/4000 Ash Hill Academy Doncaster 891/4009 Ashfield Comprehensive School Nottingham 801/4030 Ashton
    [Show full text]
  • See of Dorchester Papers
    From the Bishop of Oxford As a Diocese, we are prayerfully seeking the person whom God is calling to be the next Bishop of Dorchester, one of three Area bishops in the Diocese of Oxford. At the heart of our vision we discern a call to become a more Christ-like Church for the sake of God’s world: contemplative, compassionate and courageous. Most of all we are seeking a new Bishop for Dorchester who will seek to model those qualities and inspire the Church of England across the Dorchester Area to live them out in our daily lives. Our new Bishop will therefore be a person of prayer, immersed in the Scriptures and the Christian tradition, able to be at home with and to love the clergy, parishes and benefices in many different church traditions and many different social contexts. We are seeking a person able to watch over themselves in a demanding role and to model healthy and life-giving patterns of ministry. We want our new bishop to be an inspiring leader of worship, preacher and teacher in a range of different contexts and to be a pastor to the ministers of the Area. The Bishop of Dorchester leads a strong and able Area Team in taking forward the common vision of the Diocese of Oxford in the Dorchester Area. Full details of that process can be found in these pages and on our diocesan website. We are therefore seeking a Bishop who can demonstrate commitment and experience to our diocesan priorities. The Bishop of Dorchester holds a significant place in the civic life of the area: we are therefore seeking a bishop who is able to make a confident contribution to wider society beyond the life of the church in civil, ecumenical and interfaith engagement and who is able to live and articulate the Christian gospel in the public square.
    [Show full text]
  • AAO of the FUTURE AAO of Next Generation Fibre Positioning Robots
    IAU SPECIAL EDITION JULY 2003 NEWSLETTER ANGLO-AUSTRALIAN OBSERVATORY AAO OF THE FUTURE Next generation fibre positioning robots. Microrobotic technology based on the AAO’s Echidna system allows accurate positioning of payloads such as single fibres, guide bundles, mini- IFUs or even pick-off mirrors to be accurately positioned on large focal plates for large and ‘extremely large’ telescopes. See article on page 18. contents 3The Anglo-Australian Planet Search finDs a new “Solar System”-like gas giant (Chris Tinney et al.) 4RAVE hits the galaxy (FreD Watson et al.) 8A search for the highest reDshift raDio galaxies (Carlos De Breuck et al.) 9The 6DF Galaxy Survey (Will SaunDers et al.) 14 The end of observations for the 2dF Galaxy Redshift Survey (Matthew Colless et al.) 18 Directions for future instrumentation Development by the AAO (AnDrew McGrath et al.) 20 AAΩ: the successor to 2dF (Terry Bridges et al.) DIRECTOR’S MESSAGE DIRECTOR’S DIRECTOR’S MESSAGE On behalf of the staff of the Anglo-Australian Observatory, I would like to extend a warm welcome to Sydney to all IAU General Assembly delegates. This special GA edition of the AAO newsletter showcases some of the AAO’s achievements over the past year as well as some exciting new directions in which the AAO is heading in the future. Over the past few years the AAO has increasingly sought to build on its scientific and technical expertise through the design and building of astronomical instrumentation for overseas observatories, whilst maintaining its own telescopes as world-class facilities. The success of science programs such as the Anglo-Australian Planet Search and the 2dF Galaxy Redshift Survey amply demonstrate that the AAO is still facilitating the production of outstanding science by its user communities.
    [Show full text]
  • The Pelican Record Corpus Christi College Vol
    The Pelican Record Corpus Christi College Vol. LV December 2019 The Pelican Record The President’s Report 4 Features 10 Ruskin’s Vision by David Russell 10 A Brief History of Women’s Arrival at Corpus by Harriet Patrick 18 Hugh Oldham: “Principal Benefactor of This College” by Thomas Charles-Edwards 26 The Building Accounts of Corpus Christi College, Oxford, 1517–18 by Barry Collett 34 The Crew That Made Corpus Head of the River by Sarah Salter 40 Richard Fox, Bishop of Durham by Michael Stansfield 47 Book Reviews 52 The Renaissance Reform of the Book and Britain: The English Quattrocento by David Rundle; reviewed by Rod Thomson 52 Anglican Women Novelists: From Charlotte Brontë to P.D. James, edited by Judith Maltby and Alison Shell; reviewed by Emily Rutherford 53 In Search of Isaiah Berlin: A Literary Adventure by Henry Hardy; reviewed by Johnny Lyons 55 News of Corpuscles 59 News of Old Members 59 An Older Torpid by Andrew Fowler 61 Rediscovering Horace by Arthur Sanderson 62 Under Milk Wood in Valletta: A Touch of Corpus in Malta by Richard Carwardine 63 Deaths 66 Obituaries: Al Alvarez, Michael Harlock, Nicholas Horsfall, George Richardson, Gregory Wilsdon, Hal Wilson 67-77 The Record 78 The Chaplain’s Report 78 The Library 80 Acquisitions and Gifts to the Library 84 The College Archives 90 The Junior Common Room 92 The Middle Common Room 94 Expanding Horizons Scholarships 96 Sharpston Travel Grant Report by Francesca Parkes 100 The Chapel Choir 104 Clubs and Societies 110 The Fellows 122 Scholarships and Prizes 2018–2019 134 Graduate
    [Show full text]
  • Dragonfly News 66
    Dragonfly News 66 The Magazine of the British Dragonfly Society Autumn 2014 www.british-dragonflies.org.uk Meet the new BDS Chairman, How many Willow Emeralds are David Chelmick ovipositing? Dragonfly hunting....in Sweden? Andy Holt’s unique larval portraits How tatty can a dragonfly be and still fly? Dragonfly News 66 The Magazine of the British Dragonfly Society Published twice a year, in April and October, Dragonfly News covers all aspects of the British Dragonfly Society’s field, recording, monitoring, research, conservation and social activities, as well as information from the wider dragonfly, natural history and conservation world. The emphasis is on dragonflies recorded in the UK. The British Dragonfly Society aims to promote and encourage the study, conservation and understanding of dragonflies and their natural habitats, especially in the UK, and to raise public awareness of dragonflies. Dragonfly News is edited & designed by: Trustees & Officers of the BDS Mark Tyrrell, 8 Warwick Close, Raunds, Chairman: David Chelmick Northants., NN9 6JH Tel. Vice-Chairman: Vacant e-mail: Secretary: Henry Curry, 23 Bowker Way, Whittlesey, Peterborough, PE7 1PY. Tel. Deadlines for inclusion of copy: Spring 31 January Treasurer: Brian Walker, 49 Roman Way, Wantage, Autumn 31 July Oxfordshire, OX12 9YF. Tel. Advertising Rates: Trustees: David Goddard, Stuart Irons, Mick Parfitt. £15 for small-ad (text only); £40 for quarter- Journal Editor: Peter Mill, 8 Cookridge Grove, LEEDS, page; £60 for half-page; £100 for full-page. LS16 7LH. Shop Manager: Lynn Curry, 23 Bowker Way, Whittlesey, Peterborough, PE7 1PY Tel. © British Dragonfly Society 2014 All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted, in any Dragonfly Conservation Group (DCG) form or by any means, electronic, mechanical, photocopying, Convenor: Dave Smallshire, 8, Twindle Beer, Chudleigh, Newton recording or otherwise, without the permission of the British Abbot, Devon, TQ13 0JP.
    [Show full text]
  • St Stephen's House 2 0 2 0 / 2 0
    2020 / 2021 ST STEPHEN’S HOUSE NEWS 2 St Stephen’s House News 2020 / 2021 2020 / 2021 St Stephen’s House News 3 2020 / 2021 PRINCIPAL’S ST STEPHEN’S HOUSE CONTENTS NEWS WELCOME elcome to the latest edition of the NEWS WCollege Newsletter, in what has proved to be the most extraordinary year On the cover for us – as for most people – since the In recognition and Second World War. In March we were able thanks to our alumni for their many and to welcome the Chancellor of the University varied contributions of Oxford, Lord Patten of Barnes, to the Archbishop Stephen Cottrell Covid-19’s unsung alumni to society during (p13) heroes (p10) Covid-19. celebrations on Edward King Day, which were particularly important for us this year News ............................................................................................................................................................... 3 as we marked fifty years of our formal The College during Covid-19 ......................................................................................................................... 5 association with the University of Oxford, and A new VP in the House .................................................................................................................................. 8 forty years of our occupation of our current Alumni: celebrating the unsung heroes of Covid-19 ................................................................................... 10 Michael Dixon & Lydia Jones Joachim Delia Hugo Weaver buildings. Little did we know
    [Show full text]
  • 2017 Magdalen College Record
    Magdalen College Record Magdalen College Record 2017 2017 Conference Facilities at Magdalen¢ We are delighted that many members come back to Magdalen for their wedding (exclusive to members), celebration dinner or to hold a conference. We play host to associations and organizations as well as commercial conferences, whilst also accommodating summer schools. The Grove Auditorium seats 160 and has full (HD) projection fa- cilities, and events are supported by our audio-visual technician. We also cater for a similar number in Hall for meals and special banquets. The New Room is available throughout the year for private dining for The cover photograph a minimum of 20, and maximum of 44. was taken by Marcin Sliwa Catherine Hughes or Penny Johnson would be pleased to discuss your requirements, available dates and charges. Please contact the Conference and Accommodation Office at [email protected] Further information is also available at www.magd.ox.ac.uk/conferences For general enquiries on Alumni Events, please contact the Devel- opment Office at [email protected] Magdalen College Record 2017 he Magdalen College Record is published annually, and is circu- Tlated to all members of the College, past and present. If your contact details have changed, please let us know either by writ- ing to the Development Office, Magdalen College, Oxford, OX1 4AU, or by emailing [email protected] General correspondence concerning the Record should be sent to the Editor, Magdalen College Record, Magdalen College, Ox- ford, OX1 4AU, or, preferably, by email to [email protected].
    [Show full text]
  • Professor Peter Goldreich Member of the Board of Adjudicators Chairman of the Selection Committee for the Prize in Astronomy
    The Shaw Prize The Shaw Prize is an international award to honour individuals who are currently active in their respective fields and who have recently achieved distinguished and significant advances, who have made outstanding contributions in academic and scientific research or applications, or who in other domains have achieved excellence. The award is dedicated to furthering societal progress, enhancing quality of life, and enriching humanity’s spiritual civilization. Preference is to be given to individuals whose significant work was recently achieved and who are currently active in their respective fields. Founder's Biographical Note The Shaw Prize was established under the auspices of Mr Run Run Shaw. Mr Shaw, born in China in 1907, was a native of Ningbo County, Zhejiang Province. He joined his brother’s film company in China in the 1920s. During the 1950s he founded the film company Shaw Brothers (HK) Limited in Hong Kong. He was one of the founding members of Television Broadcasts Limited launched in Hong Kong in 1967. Mr Shaw also founded two charities, The Shaw Foundation Hong Kong and The Sir Run Run Shaw Charitable Trust, both dedicated to the promotion of education, scientific and technological research, medical and welfare services, and culture and the arts. ~ 1 ~ Message from the Chief Executive I warmly congratulate the six Shaw Laureates of 2014. Established in 2002 under the auspices of Mr Run Run Shaw, the Shaw Prize is a highly prestigious recognition of the role that scientists play in shaping the development of a modern world. Since the first award in 2004, 54 leading international scientists have been honoured for their ground-breaking discoveries which have expanded the frontiers of human knowledge and made significant contributions to humankind.
    [Show full text]
  • TRINITY COLLEGE Cambridge Trinity College Cambridge College Trinity Annual Record Annual
    2016 TRINITY COLLEGE cambridge trinity college cambridge annual record annual record 2016 Trinity College Cambridge Annual Record 2015–2016 Trinity College Cambridge CB2 1TQ Telephone: 01223 338400 e-mail: [email protected] website: www.trin.cam.ac.uk Contents 5 Editorial 11 Commemoration 12 Chapel Address 15 The Health of the College 18 The Master’s Response on Behalf of the College 25 Alumni Relations & Development 26 Alumni Relations and Associations 37 Dining Privileges 38 Annual Gatherings 39 Alumni Achievements CONTENTS 44 Donations to the College Library 47 College Activities 48 First & Third Trinity Boat Club 53 Field Clubs 71 Students’ Union and Societies 80 College Choir 83 Features 84 Hermes 86 Inside a Pirate’s Cookbook 93 “… Through a Glass Darkly…” 102 Robert Smith, John Harrison, and a College Clock 109 ‘We need to talk about Erskine’ 117 My time as advisor to the BBC’s War and Peace TRINITY ANNUAL RECORD 2016 | 3 123 Fellows, Staff, and Students 124 The Master and Fellows 139 Appointments and Distinctions 141 In Memoriam 155 A Ninetieth Birthday Speech 158 An Eightieth Birthday Speech 167 College Notes 181 The Register 182 In Memoriam 186 Addresses wanted CONTENTS TRINITY ANNUAL RECORD 2016 | 4 Editorial It is with some trepidation that I step into Boyd Hilton’s shoes and take on the editorship of this journal. He managed the transition to ‘glossy’ with flair and panache. As historian of the College and sometime holder of many of its working offices, he also brought a knowledge of its past and an understanding of its mysteries that I am unable to match.
    [Show full text]
  • Download Album Booklet
    CHRISTMAS WITH ST JOHN’S Christmas with St John’s unhurried, easy-flowing vernacular feel as Sansom’s powerful verses, and the overall For many people, the pleasures of the Christmas structure is equally effective; the melody is 1 The Shepherd’s Carol Bob Chilcott [3.40] season can be summed up in a single word: first presented by trebles alone before the 2 The Holly and the Ivy Traditional, arr. Henry Walford Davies [2.54] tradition. However, perhaps strangely for a other voices softly enter, one by one, gradually 3 Sir Christèmas William Mathias [1.33] world so steeped in the music and practices layering a serene pillow of harmonic suspensions. 4 O Oriens Cecilia McDowall [4.35] of centuries past, the English sacred choral The one fortissimo moment comes at the 5 Adam Lay ybounden Boris Ord [1.19] scene is as much about the new as it is the central climax, when all the vocal parts join 6 A Spotless Rose Philip Ledger [2.00] in homophony, for the first and only time, 7 The Seven Joys of Mary William Whitehead [4.45] old at this time of year; Christmas presents 8 Dormi Jesu John Rutter [4.56] a golden opportunity to present brand new to describe the angels’ voices. 9 Creator of the Stars of Night Plainsong, arr. John Scott [3.41] music to wide audiences, and the role played 0 I Wonder as I Wander Carl Rutti [1.46] by St John’s College Choir in this area has Henry Walford Davies’ popular 1913 q O Little Town of Bethlehem Henry Walford Davies [4.49] been significant, as demonstrated by this arrangement of The Holly and the Ivy sticks w I Saw Three Ships Traditional arr.
    [Show full text]
  • A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
    ZU064-05-FPR jfp19 26 March 2020 16:6 Under consideration for publication in J. Functional Programming 1 A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs GUILLAUME ALLAIS, ROBERT ATKEY University of Strathclyde (UK) JAMES CHAPMAN Input Output HK Ltd. (HK) CONOR MCBRIDE University of Strathclyde (UK) JAMES MCKINNA University of Edinburgh (UK) Abstract Almost every programming language’s syntax includes a notion of binder and corresponding bound occurrences, along with the accompanying notions of α-equivalence, capture-avoiding substitution, typing contexts, runtime environments, and so on. In the past, implementing and reasoning about programming languages required careful handling to maintain the correct behaviour of bound variables. Modern programming languages include features that enable constraints like scope safety to be expressed in types. Nevertheless, the programmer is still forced to write the same boilerplate over again for each new implementation of a scope safe operation (e.g., renaming, substitution, desugaring, printing, etc.), and then again for correctness proofs. We present1 an expressive universe of syntaxes with binding and demonstrate how to (1) implement scope safe traversals once and for all by generic programming; and (2) how to derive properties of these traversals by generic proving. Our universe description, generic traversals and proofs, and our examples have all been formalised in Agda and are available in the accompanying material available online at https://github.com/gallais/generic-syntax. 1 Introduction In modern typed programming languages, programmers writing embedded DSLs (Hudak (1996)) and researchers formalising them can now use the host language’s type system to help them.
    [Show full text]