Treffer 1 - 20 von 25 für Suche 'Vouillon, Jérôme', Suchdauer: 0,69s Treffer weiter einschränken
  1. 1
    From bytecode to JavaScript: the Js_of_ocaml compiler

    From bytecode to JavaScript: the Js_of_ocaml compiler von Vouillon, Jérôme, Balat, Vincent

    Veröffentlicht in Software, practice & experience

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Regular expression types for XML

    Regular expression types for XML von HOSOYA, Haruo, VOUILLON, Jérome, PIERCE, Benjamin C


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Solution to the PoplMark Challenge Based on de Bruijn Indices

    A Solution to the PoplMark Challenge Based on de Bruijn Indices von Vouillon, Jérôme

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    ELIOM: A Core ML Language for Tierless Web Programming

    ELIOM: A Core ML Language for Tierless Web Programming von Radanne, Gabriel, Vouillon, Jérôme, Balat, Vincent


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    On software component co-installability

    On software component co-installability von Vouillon, Jérôme, Cosmo, Roberto Di


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Subtyping Union Types

    Subtyping Union Types von Vouillon, Jérôme


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

    Managing the Complexity of Large Free and Open Source Package-Based Software Distributions von Mancinelli, Fabio, Boender, Jaap, di Cosmo, Roberto, Vouillon, Jerome, Durak, Berke, Leroy, Xavier, Treinen, Ralf


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Broken sets in software repository evolution

    Broken sets in software repository evolution von Vouillon, Jerome, Di Cosmo, Roberto


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Broken sets in software repository evolution

    Broken sets in software repository evolution von Vouillon, Jérôme, Di Cosmo, Roberto

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Recursive polymorphic types and parametricity in an operational framework

    Recursive polymorphic types and parametricity in an operational framework von Mellies, P.-A., Vouillon, J.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Eliom: A Language for Modular Tierless Web Programming

    Eliom: A Language for Modular Tierless Web Programming von Radanne, Gabriel, Vouillon, Jérôme, Balat, Vincent

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A very modal model of a modern, major, general type system

    A very modal model of a modern, major, general type system von Appel, Andrew W., Melliès, Paul-André, Richards, Christopher D., Vouillon, Jérôme

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Eliom: A Language for Modular Tierless Web Programming

    Eliom: A Language for Modular Tierless Web Programming von Radanne, Gabriel, Vouillon, Jérôme, Balat, Vincent

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Experience report: ocsigen, a web programming framework

    Experience report: ocsigen, a web programming framework von Balat, Vincent, Vouillon, Jérôme, Yakobowski, Boris

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Regular expression types for XML

    Regular expression types for XML von Hosoya, Haruo, Vouillon, Jérôme, Pierce, Benjamin C.

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Polymorphic regular tree types and patterns

    Polymorphic regular tree types and patterns von Vouillon, Jérôme

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Combining subsumption and binary methods:an object calculus with views

    Combining subsumption and binary methods:an object calculus with views von Vouillon, Jerome


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Unison: A File Synchronizer and Its Specification

    Unison: A File Synchronizer and Its Specification von Pierce, Benjamin C., Vouillon, Jérôme


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Semantic types: a fresh look at the ideal model for types

    Semantic types: a fresh look at the ideal model for types von Vouillon, Jerome, Melliès, Paul-André

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Combining subsumption and binary methods: an object calculus with views

    Combining subsumption and binary methods: an object calculus with views von Vouillon, Jérôme

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: