Hasil Pencarian - Jakob Rehof
- Menampilkan 1 - 3 hasil dari 3
-
1
The Algebraic Intersection Type Unification Problem oleh Andrej Dudenhefner, Moritz Martens, Jakob Rehof
Diterbitkan 2017-08-01Dapatkan teks lengkap
Artikel -
2
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis oleh Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Paweł Urzyczyn
Diterbitkan 2013-07-01Dapatkan teks lengkap
Artikel -
3
Mixin Composition Synthesis based on Intersection Types oleh Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Diterbitkan 2018-02-01Dapatkan teks lengkap
Artikel