Skip to content

Undergraduate Research Opportunities

Department of Computer Science, Royal Holloway, University of London

Undergraduate Research Opportunities

Tag: programming languages

Visitors for Generalized Algebraic Data Types in OCaml (completed)

Algebraic datatypes (ADTs) [1] are the basic method for defining how to build complex data values in functional programming languages: they specify both the basic, or atomic, values, as well as the constructors for building larger values out of smaller ones. For example, the following ADT defines generic lists that contain values of type ‘a … full description “Visitors for Generalized Algebraic Data Types in OCaml (completed)”

Author Reuben RoweCategories Programming Languages, Software EngineeringTags functional programming, OCaml, programming languages

Information

  • What is UROP?
  • How to Apply
  • Available projects
  • Ongoing projects
  • Completed projects
  • Shop
  • Cart
  • Checkout
  • My account

Research Areas

  • Algorithms
  • Artificial Intelligence
  • Bioinformatics
  • Blockchain Technologies
  • Compliance and Auditing
  • Cryptography
  • Cyber-Physical Systems
  • Data Science
  • Distributed Systems
  • FAIR data
  • Logic
  • Low Level Programming (Firmware)
  • Machine Learning
  • Ontology
  • Physics
  • Programming Languages
  • Security Behaviours
  • Software Engineering
  • System Forensics
  • Systems Security
  • Uncategorized
  • User and Data Privacy
  • Verification

For Supervisors

  • Instructions
  • Manage Projects
Undergraduate Research Opportunities Proudly powered by WordPress