Edlira Kuci

@lirakuci

PhD - programing languages - incremental type checking

TU Darmstadt, Germany
Vrijeme pridruživanja: listopad 2014.

Tweetovi

Blokirali ste korisnika/cu @lirakuci

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @lirakuci

  1. proslijedio/la je Tweet
    12. pro 2018.
    Poništi
  2. proslijedio/la je Tweet
    3. kol 2015.

    Paper accepted at OOPSLA: "A co-contextual formulation of type rules for incremental type checking" /w bracevac krebs :D

    Poništi
  3. proslijedio/la je Tweet
    29. svi 2015.

    Just back from an inspiring talk from about "Tierless Programming and Reasoning for SDNs"!

    Poništi
  4. proslijedio/la je Tweet
    27. sij 2015.

    . launch weather is 80% 'go' for launch at 9:20am ET on Thursday:

    Poništi
  5. proslijedio/la je Tweet
    5. pro 2014.

    Splashdown! completes a critical step on our .

    Poništi
  6. proslijedio/la je Tweet

    Check out for a surprise :) Thanks and !!

    Poništi
  7. proslijedio/la je Tweet
    22. lis 2014.

    Today: Bi-weekly restaurant lunch of the Programming Language Theory and Engineering subgroup at Sardegna!

    Poništi
  8. proslijedio/la je Tweet

    & Mars seen yesterday frm Australia. Credit: James Willinghan Closest approach 20:27CEST

    Poništi
  9. proslijedio/la je Tweet

    Revised version of the SNAPL CfP; detail about styles of papers that would be interesting and what we're looking for.

    Poništi
  10. proslijedio/la je Tweet
    17. lis 2014.

    Bored with your job? Come spend 3 months coding in a supportive and energizing community! Apply now and start 11/17:

    Poništi
  11. proslijedio/la je Tweet
    16. lis 2014.

    Fifth launch for this year. Delivery of 30 and -1 into orbit.

    Poništi

Č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:

    ·