JoaoLBarbosa

Pinned Repositories

TypeInferenceAlgorithm
This file consists of the files necessary to perform type inference on Prolog programs
Language:Prolog2 2 01

JoaoLBarbosa's Repositories

JoaoLBarbosa/TypeInferenceAlgorithm
This file consists of the files necessary to perform type inference on Prolog programs
Language:Prolog2 2 01