Hasil Pencarian - Jan Bessai

  • Menampilkan 1 - 4 hasil dari 4
Perbaiki Hasil
  1. 1
    User Support for the Combinator Logic Synthesizer Framework

    User Support for the Combinator Logic Synthesizer Framework oleh Jan Bessai, Anna Vasileva

    Diterbitkan 2018-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

    Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis oleh Jan Bessai, Moritz Roidl, Anna Vasileva

    Diterbitkan 2019-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Typing Classes and Mixins with Intersection Types

    Typing Classes and Mixins with Intersection Types oleh Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro

    Diterbitkan 2015-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    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: