Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
-
No just-in-time-for-the-deadline paper writing for this project! Publications must be submitted 30 days in advance to NWO. https://www.nwo.nl/en/about-nwo/organisation/nwo-domains/ttw/industry+and+other+partners/what+does+nwo+offer/user+committees …pic.twitter.com/ZVbbIPKoKg
Prikaži ovu nit -
"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. (https://www.nwo.nl/en/funding/funding+process+explained/nwo+grant+rules+2017 …)pic.twitter.com/YSTKpaVvKT
Prikaži ovu nit -
Congratulations to Gabriël Konat for successfully defending his dissertation "Language-Parametric Methods for Developing Interactive Programming Systems" on Monday! http://pl.ewi.tudelft.nl/seminar/dissertation/2019/11/18/15-00-phd-gabriel-konat/ …pic.twitter.com/DWFGRvFWhN
-
On the occasion of Gabriël Konat (
@gohla)'s PhD defense, TU Delft PL organizes a symposium on Monday (Nov 18 2019) with talks by Eelco Dolstra, Andrey Mokhov (@andreymokhov), Jeff Smits, Matthew Flatt, Sebastian Erdweg (@seba0_). All are welcome. http://pl.ewi.tudelft.nl/seminar/symposium/2019/11/18/10-00-symposium/ …pic.twitter.com/89V7Q85KLl
-
-
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
#tudelftpl#pie#buildsystemspic.twitter.com/LStdjWoDdX
-
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.pic.twitter.com/aXTPYu2Xs5
-
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?pic.twitter.com/TMsqcoKblY
-
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.pic.twitter.com/xXcs4pAlpJ
-
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)pic.twitter.com/UmStvwbsnm
-
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 http://pl.ewi.tudelft.nl/seminar/symposium/2019/03/26/10-00-symposium/ …pic.twitter.com/X0dXqOWx4Q
-
The TU Delft Department of Software Technology has an open position for an Assistant or Associate Professor in Programming Languages. http://pl.ewi.tudelft.nl/hiring/2019-assistant-professor/ …pic.twitter.com/nZ4YIp489N
Prikaži ovu nit -
Video of my CurryOn 2017 talk on scope graphshttps://www.youtube.com/watch?v=0Eg6RDUJGJQ …
-
-
-
After 5 days (and > 2 years) it is already the final day of
@splashcon 2016pic.twitter.com/yDtE5zWwlH
-
-
@cristalopes about PACM-PL at the@splashcon business meetingpic.twitter.com/wWBaEHg5mr
Č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.