Eelco Visser

@EelcoVisser

Professor of at working on Software Language Design and Engineering, building , photographer

The Netherlands
Vrijeme pridruživanja: travanj 2009.

Medijski sadržaj

  1. 17. sij

    Some days are good days. QED

  2. 10. sij

    No just-in-time-for-the-deadline paper writing for this project! Publications must be submitted 30 days in advance to NWO.

    Prikaži ovu nit
  3. 10. sij

    "As soon as they are published, the Project Results should be immediately subject to Open Access to ensure their optimum dissemination or application." Reading "NWO Grant Rules 2017" in relation to our recently granted MasCot project. ()

    Prikaži ovu nit
  4. 19. stu 2019.

    Congratulations to Gabriël Konat for successfully defending his dissertation "Language-Parametric Methods for Developing Interactive Programming Systems" on Monday!

  5. 14. stu 2019.

    On the occasion of Gabriël Konat ()'s PhD defense, TU Delft PL organizes a symposium on Monday (Nov 18 2019) with talks by Eelco Dolstra, Andrey Mokhov (), Jeff Smits, Matthew Flatt, Sebastian Erdweg (). All are welcome.

  6. 31. lis 2019.

    Verificatie van software bij KNAW

  7. 29. lis 2019.

    Gabriël Konat's PhD thesis in print. Cover is as awesome as its content. Language-Parametric Methods for Developing Interactive Programming Systems Defense on Nov 18 with symposium

  8. 28. lis 2019.

    I completed 5000km biking so far this year. Very unevenly distributed. Train instead of bike commute does not help. (Conference) travel also does not help.

  9. 23. ožu 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    A simple syntactic elaboration with a single rewrite rule in Stratego. But that is probably too simplistic. The real ambiguity: when is it a sequence of two arguments, when is it an application. Probably requires types, or even normalization?

  10. 23. ožu 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    Thus, elaboration could determine that the application arguments in the lhs of a function are individual arguments, either based on syntax (ascr is arg) or based on semantic analysis.

  11. 23. ožu 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    The ambiguity between ascription and argument annotation can be avoided by a different operator (e.g. :: for ascription), but the problematic ambiguity is between the list of arguments and application. Here is an unambiguous grammar (in SDF3)

  12. 21. ožu 2019.

    Seminar on Declarative Programming at TU Delft on March 26, 2019 on the occasion of PhD defense Daco Harkes with talks by Görel Hedin, Friedrich Steimann, Guido Salvaneschi, Hendrik van Antwerpen

  13. 19. ožu 2019.

    The TU Delft Department of Software Technology has an open position for an Assistant or Associate Professor in Programming Languages.

    Prikaži ovu nit
  14. 13. srp 2017.

    Video of my CurryOn 2017 talk on scope graphs

  15. 5. stu 2016.

    this.splash in the Rijksmuseum cc

  16. 5. stu 2016.

    A regular Saturday in Amsterdam

  17. 3. stu 2016.

    After 5 days (and > 2 years) it is already the final day of 2016

  18. 3. stu 2016.

    Ready for the banquet

  19. 3. stu 2016.

    about PACM-PL at the business meeting

  20. 2. stu 2016.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·