Ocaml-Flat on the Ocsigen Framework
Rita Pedroso Macedo Bachelor in Computer Science and Engineering OCaml-Flat on the Ocsigen framework Dissertation submitted in partial fulfillment of the requirements for the degree of Master of Science in Computer Science and Engineering Adviser: Artur Miguel Dias, Auxiliar Professor, NOVA School of Science and Technology Co-adviser: António Ravara, Associate Professor, NOVA School of Science and Technology Examination Committee Chair: Doutor Jorge Cruz, FCT-NOVA Rapporteur: Doutora Nelma Moreira, FCUP Member: Doutor Artur Miguel Dias, FCT-NOVA August, 2020 OCaml-Flat on the Ocsigen framework Copyright © Rita Pedroso Macedo, NOVA School of Science and Technology, NOVA Uni- versity Lisbon. The NOVA School of Science and Technology and the NOVA University Lisbon have the right, perpetual and without geographical boundaries, to file and publish this dissertation through printed copies reproduced on paper or on digital form, or by any other means known or that may be invented, and to disseminate through scientific repositories and admit its copying and distribution for non-commercial, educational or research purposes, as long as credit is given to the author and editor. This document was created using the (pdf)LATEX processor, based on the “novathesis” template[1], developed at the Dep. Informática of FCT-NOVA [2]. [1] https://github.com/joaomlourenco/novathesis [2] http://www.di.fct.unl.pt Acknowledgements First and foremost, I would like to express my gratitude to the Tezos Foundation which grant supported the development of my project. My utmost appreciation goes to my Advisers, Professors Artur Miguel Dias and An- tónio Ravara, whose commitment and support throughout the development of this project have been relentless and inspirational.
[Show full text]