BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
A programming language with refinement types and its LLVM-IR front end implementation

Participants in the publication
Bernardo Ferrari (Author)
Alcides Fonseca (Adviser)
Dep. Informática
 LASIGE
Date of Publication
2024-03-01

Institution
UNIVERSIDADE FEDERAL DE SANTA CATARINA

Publication Identifiers


Export

APA
Bernardo Ferrari, (2024). A programming language with refinement types and its LLVM-IR front end implementation. Alcides Fonseca,

IEEE
Bernardo Ferrari, "A programming language with refinement types and its LLVM-IR front end implementation", 2024.

BIBTEX
@MastersThesis{64193, author = {Bernardo Ferrari}, title = {A programming language with refinement types and its LLVM-IR front end implementation}, school = {UNIVERSIDADE FEDERAL DE SANTA CATARINA}, year = {2024}, OPTtype = {Documentos Académicos}, OPTmonth = {Mar} }