Pinned Repositories
implicits
PhD-thesis
ProjectoExecucao
Projecto de Execucao
SubtypingConstraints
TypeDirectedOS
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
L42
L42 main project
parser
SyntaxOA
TypingFormalization
TypeInfer
Type inference for 'type level computation one step at a time'
brunocdsoliveira's Repositories
brunocdsoliveira/implicits
brunocdsoliveira/PhD-thesis
brunocdsoliveira/ProjectoExecucao
Projecto de Execucao
brunocdsoliveira/SubtypingConstraints
brunocdsoliveira/TypeDirectedOS
A Type-Directed Operational Semantics for a Calculus with a Merge Operator