Nacho

icon location Trying out this research thing

Results 3 repositories owned by Nacho

mt

27
Stars
1
Forks
Watchers

Master thesis on developing a static type checker for Erlang

verified publisher icon nachivpn

nbe-course

28
Stars
1
Forks
Watchers

NbE course @ Chalmers

verified publisher icon nachivpn

nbe-edsl

24
Stars
0
Forks
Watchers

Normalization by Evaluation for Embedded Domain-specific Languages

verified publisher icon nachivpn