View Proposal

---

Proposer

Marko Doko

Title

Parsing custom syntax for data types

Goal

Description

This project is part of a bigger research project to improve on how proofs about programming languages are done. You are not asked to do any proving yourself, the goal is to use the existing parser library to allow the user to specify a data type with an easy custom syntax. The parser converts this syntax into a simple data structure that can then be used by the rest of the code. The implementation would be in standard ML which is basically a simple version of OCaml. For more information, please contact Jan van Brügge (jsv2000@hw.ac.uk).

Resources

Background

Url

Difficulty Level

Moderate

Ethical Approval

None

Number Of Students

1

Supervisor

Marko Doko

Keywords

Degrees

Bachelor of Science in Computer Science
Bachelor of Science in Computer Systems
Bachelor of Science in Information Systems
Bachelor of Science in Software Development for Business (GA)
Master of Engineering in Software Engineering
Master of Design in Games Design and Development
Master of Science in Artificial Intelligence
Master of Science in Artificial Intelligence with SMI
Master of Science in Business Information Management
Master of Science in Computer Science for Cyber Security
Master of Science in Computer Systems Management
Master of Science in Computing (2 Years)
Master of Science in Data Science
Master of Science in Human Robot Interaction
Master of Science in Information Technology (Business)
Master of Science in Information Technology (Software Systems)
Master of Science in Network Security
Master of Science in Robotics
Master of Science in Software Engineering
Bachelor of Science in Computing Science
Bachelor of Engineering in Robotics
Bachelor of Science in Computer Science (Cyber Security)