Suchergebnisse - Weirich, Stephanie

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming
    von Weirich, Stephanie

    Veröffentlicht 2013
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
    von Weirich, Stephanie

    Veröffentlicht 2009
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
    von Weirich, Stephanie

    Veröffentlicht 2011
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Programming languages and systems: 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024 : proceedings, part I

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Weirich, Stephanie …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Programming languages and systems: 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024 : proceedings, part II

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Weirich, Stephanie …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: