Deze repository bevat de implementatie voor de masterproef Coherence van typeclass resolutie met multi-parameter typeclasses en functional dependencies.
De code is opgesplitst in vier delen:
SourceLanguage: De oorspronkelijke source language
SourceLanguageMP: De uitbreiding van de source language naar multi-parameter typeclasses
SourceLanguageFD: De uitbreiding van multi-parameter typeclasses naar functional dependencies
IntermediateLanguage: De intermediate language.
-
Notifications
You must be signed in to change notification settings - Fork 0
LenaDooms/Implementatie
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published