Jump to content
The University of Kent
Search icon
cross
cross
Study
Courses
Undergraduate courses
Postgraduate courses
Foundation courses
Apprenticeships
Part-time and short courses
Apply undergraduate
Apply postgraduate
Book an Open Day
Come to an Open Day and imagine your future at Kent.
Why Kent
Get a prospectus
Fees and funding
Tuition fees
Scholarships
Funding your studies
Student finance
Cost of living support
Undergraduate courses
Postgraduate courses
Meet our scholars
Why study at Kent
Student life
Careers and employability
Student support and wellbeing
Our locations
Placements and internships
Year abroad
Student stories
Parents
Schools and colleges
Why Kent
Find your place as part of our global community.
Campus Tours
Get a prospectus
International
International students
Your country
中文网
Applicant FAQs
International scholarships
University of Kent International College
Undergraduate courses
Postgraduate courses
Visit us
Open Days
Campus Tours
Applicant Events
Postgraduate events
All events
Maps and directions
Book an Open Day
Book a Campus Tour
How to get here
Student life
Student life
View all student life
Accommodation
Arts, culture and entertainment
Clubs and societies
Commuting students
Sport
Student support and wellbeing
Sustainability
Kent Union
Chat with a student
Find out everything you need to know about life at Kent.
Research
Research
Research strengths
Research centres
Research impact
REF 2021
Research and Innovation Support
Work with our experts
Research institutes
Durrell Institute of Conservation and Ecology
Institute of Cyber Security for Society
Institute of Cultural and Creative Industries
Institute of Health, Social Care and Wellbeing
Research strengths
Research students
Durrell Institute of Conservation and Ecology
Institute of Cyber Security for Society
Institute of Cultural and Creative Industries
Institute of Health, Social Care and Wellbeing
PhD funding
Scholarships across our six signature research themes.
Partner with us
Partner with us
Research strengths
Research centres
Research impact
REF 2021
Get in touch
Popular searches
Visits and Open Days
Jobs and vacancies
Accommodation
Study
Undergraduate
Postgraduate
International
Student life
Student guide
Library and IT
Term dates
Research
Research strengths
Research impact
REF 2021
Business
Partner with us
Employers
Apprenticeships
Study
Courses
Fees and funding
Why study at Kent
International
Visit us
Courses
Undergraduate courses
Postgraduate courses
Foundation courses
Apprenticeships
Part-time and short courses
Apply undergraduate
Apply postgraduate
Book an Open Day
Come to an Open Day and imagine your future at Kent.
Why Kent
Get a prospectus
We also recommend
Canterbury
Fees and funding
Medway
Paris
Ask a student
Visit us
Mature students
International students
Search for a course
Search by course name, subject, and more
Undergraduate
Postgraduate
Search icon
arrow right
Search courses
(suspended)
-
Available in Clearing
Not available in Clearing
location-sign
UCAS
Fees and funding
Tuition fees
Scholarships
Funding your studies
Student finance
Cost of living support
Undergraduate courses
Postgraduate courses
Meet our scholars
We also recommend
Accommodation
Kent Financial Support Package
Student discounts
Careers and employability
Find a scholarship
Why study at Kent
Student life
Careers and employability
Student support and wellbeing
Our locations
Placements and internships
Year abroad
Student stories
Parents
Schools and colleges
Why Kent
Find your place as part of our global community.
Campus Tours
Get a prospectus
We also recommend
Accommodation
Canterbury
Alumni
Our vision and values
Sustainability
Sport
Music
International
International students
Your country
中文网
Applicant FAQs
International scholarships
University of Kent International College
Undergraduate courses
Postgraduate courses
We also recommend
Accommodation
Virtual tours
Canterbury
Medway
International events
English Language requirements
Pre-sessional courses
Visit us
Open Days
Campus Tours
Applicant Events
Postgraduate events
All events
Maps and directions
Book an Open Day
Book a Campus Tour
How to get here
We also recommend
Parking
Accommodation
Virtual tours
Parents and supporters
Canterbury
Medway
Paris
Student life
Student life
View all student life
Accommodation
Arts, culture and entertainment
Clubs and societies
Commuting students
Sport
Student support and wellbeing
Sustainability
Kent Union
Chat with a student
Find out everything you need to know about life at Kent.
We also recommend
Student stories
Locations
Open Days
Student guide
Careers and employability
Research
Research
Institutes
Research students
Research
Research strengths
Research centres
Research impact
REF 2021
Research and Innovation Support
Work with our experts
We also recommend
Business and Industry
Student talent
Research degrees
Eastern Arc
3i Network
Research themes
Research institutes
Durrell Institute of Conservation and Ecology
Institute of Cyber Security for Society
Institute of Cultural and Creative Industries
Institute of Health, Social Care and Wellbeing
Research strengths
We also recommend
Research centres
Impact
Graduate and Researcher College
Research students
Graduate and Researcher College
Research degrees
Find a supervisor
How to apply
PhD funding
Scholarships across our six signature research themes.
We also recommend
Doctoral Training Partnerships
Researcher Development Programme
News Centre
Partner with us
Partner with us
Work with our experts
Employ our graduates
Engage with us
Apprenticeships
Hire our facilities
Press Centre
Get in touch
We also recommend
Kent 2025 strategy
International partnerships
Civic mission
Jobs and vacancies
Conferences and Events
Search icon
cross
course page design 4
Popular searches
Visits and Open Days
Jobs and vacancies
Accommodation
Study
Undergraduate
Postgraduate
International
Student life
Student guide
Library and IT
Term dates
Research
Research strengths
Research impact
REF 2021
Business
Partner with us
Employers
Apprenticeships
cross
Additional links
About us
Our vision and values
Our strategy
News
Kent Global
Accessibility
Creative Kent
Gulbenkian Arts Centre
Sustainability
Accommodation
Sport
Support and Wellbeing
Giving
Press Centre
What's on
Academic Divisions
Arts and Humanities
Computing, Engineering and Mathematical Sciences
Human and Social Sciences
Kent Business School
Law, Society and Social Justice
Natural Sciences
Information for
Current students
Staff
Applicants
Parents and supporters
Alumni
Business and partners
We also recommend
Contact us
Getting here
Equality, Diversity and Inclusivity
Nexus
Conferences and Events
Congregations
Library and IT
Jobs at Kent
Governance
What's on
Menu
Home
Events calendar
In Conversation
Open Days
Contact us
University of Kent
What's on
A Variant on Intersection Types for Descriptive Scientific Code - Dominic Orchard
Jun
24
A Variant on Intersection Types for Descriptive Scientific Code - Dominic Orchard
Dominic Orchard
Seminar of the Programming Languages and Systems research group
TBA
homepage
plas
researchall
