Hasil Pencarian - Jakob Rehof

  • Menampilkan 1 - 3 hasil dari 3
Perbaiki Hasil
  1. 1
    The Algebraic Intersection Type Unification Problem

    The Algebraic Intersection Type Unification Problem oleh Andrej Dudenhefner, Moritz Martens, Jakob Rehof

    Diterbitkan 2017-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

    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-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Mixin Composition Synthesis based on Intersection Types

    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-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: