Giters

FedericoBruzzone / master-thesis

My master thesis carried out at the ADAPT Lab, Università degli Studi di Milano.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

adapt-labcomputer-sciencemaster-thesisthesis

If you do not want to waste too much time, read the summary (ENG or ITA) and the presentation

Master thesis

This repository contains my master thesis in Computer Science developed at the ADAPT Lab, Università degli Studi di Milano.

Info

  • Title: Toward a Modular Approach for Type Systems and LSP Generation
  • Author: Federico Cristiano Bruzzone
  • Supervisor: Prof. Walter Cazzola
  • Co-Advisor: Dr. Luca Favalli
  • Final Grade: 110/110 cum laude
  • Academic Year: 2023/2024
  • Degree: Master's Degree in Computer Science
  • University: Università degli Studi di Milano (Italy)
  • Department: Computer Science
  • Lab: ADAPT Lab

Contact

If you have any questions, suggestions, or feedback, do not hesitate to contact me.

About

My master thesis carried out at the ADAPT Lab, Università degli Studi di Milano.

adapt-labcomputer-sciencemaster-thesisthesis

Languages

Language:TeX 43.6%Language:Java 41.5%Language:NewLisp 7.9%Language:TypeScript 3.9%Language:Groovy 0.7%Language:Makefile 0.6%Language:Vim Script 0.6%Language:Shell 0.6%Language:Lua 0.2%Language:Scala 0.2%Language:Slash 0.2%Language:Rust 0.1%Language:HTML 0.0%Language:JavaScript 0.0%Language:C 0.0%Language:OCaml 0.0%