Types and Semantics for Programming Languages
University of Edinburgh · Scotland · INFR11114
Types and Semantics for Programming Languages is a subject at University of Edinburgh, Scotland. It covers topics like computational-linguistics, linguistics, programming, software-fundamentals. It is part of 26 degrees. The information below is compiled from public course material — approximate, not official.
University of Edinburgh
INFR11114
3.00
Topics covered
Degrees that include Types and Semantics for Programming Languages
- Artificial Intelligence and Computer Science (BSc Hons)
- Artificial Intelligence (BSc Hons)
- Artificial Intelligence (MSc) (Full-time)
- Artificial Intelligence (MSc) (Part-time) - 2 Years
- Artificial Intelligence (MSc) (Part-time) - 3 Years
- Cognitive Science (BSc Hons)
- Cognitive Science (MSc) (Full-time)
- Cognitive Science (MSc) (Part-time) - 2 Years
- Cognitive Science (MSc) (Part-time) - 3 Years
- Computer Science and Management Science (BSc Hons)
- Computer Science and Mathematics (BSc Hons)
- Computer Science and Physics (BSc Hons)
- Computer Science (BEng Hons)
- Computer Science (BSc Hons)
- Computer Science (MSc) (Full-time)
- Computer Science (MSc) (Part-time) - 2 Years
- Computer Science (MSc) (Part-time) - 3 Years
- Cyber Security, Privacy and Trust (MSc) - 2 Years (Part-time)
- Cyber Security, Privacy and Trust (MSc) - 3 Years (Part-time)
- Electronics and Computer Science (BEng Hons)
- Electronics and Computer Science (MEng Hons)
- Electronics and Computer Science Technology (BEng Hons)
- Electronics and Computer Science Technology (MEng Hons)
- Informatics (MInf)
- Sensing, Processing and AI for Defence and Security (UoE Lead with Heriot-Watt) (PhD with Integrated Study)
- Software Engineering (BEng Hons)
Frequently asked questions
What is Types and Semantics for Programming Languages about?
Types and Semantics for Programming Languages covers topics like computational-linguistics, linguistics, programming, software-fundamentals.
Which degrees include Types and Semantics for Programming Languages?
Types and Semantics for Programming Languages is part of 26 degrees, including Artificial Intelligence and Computer Science (BSc Hons), Artificial Intelligence (BSc Hons), Artificial Intelligence (MSc) (Full-time), Artificial Intelligence (MSc) (Part-time) - 2 Years, Artificial Intelligence (MSc) (Part-time) - 3 Years.
How many credit points is Types and Semantics for Programming Languages?
Types and Semantics for Programming Languages at University of Edinburgh is typically around 3.00 credit points. Approximate — confirm with the university.
Where is Types and Semantics for Programming Languages taught?
Types and Semantics for Programming Languages is taught at University of Edinburgh, Scotland.
Studying Types and Semantics for Programming Languages?
Peernovo helps students research, choose and thrive at university — across Australia, the US, the UK and Canada — powered by our AI backbone:
- Explore & compare degrees — across universities and countries with honest, specific information.
- "What Can I Be?" career guidance — an AI pathway councillor that maps degrees to careers.
- See who's studying — your degree at your university — find classmates and study groups.
- AI Task Coach — a Socratic study companion that plans your work around your life.
- Honours & Thesis Research Coach — structure and move your research project forward.
- Smart study planner, exam prep and a daily digest — to keep you on track.
Sources: University of Edinburgh public course catalogue. Information is compiled and summarised — not copied verbatim — and is approximate; always confirm with the original source.
Something not right on this page, or want it changed? Let us know and we'll review it.