John Hughes

@rjmh

Professor at Chalmers, long-time functional programmer, founder of Quviq AB.

Göteborg
Vrijeme pridruživanja: prosinac 2008.

Tweetovi

Blokirali ste korisnika/cu @rjmh

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

  1. 27. sij

    The Trends in Functional Programming programme is now available (on the Lambda Days website). See you there!

    Poništi
  2. 13. sij

    The list of accepted papers for Trends in Functional Programming is now online!

    Poništi
  3. 25. stu 2019.

    Did you miss the deadline to submit a paper to Trends in Functional Programming ? No worries--it's not too late! Submission is open until January 10th, for a presentation slot at the event and post-symposium reviewing.

    Poništi
  4. 31. lis 2019.

    Postdoc positions in our FP group to work with Carl Seger, applying FP to "creating correct, robust and secure HW/SW systems for autonomous systems." Check it out!

    Poništi
  5. 11. lis 2019.

    Just one month left to write a paper for ! Send us your best work...

    Poništi
  6. 7. lis 2019.

    Last chance today to submit an abstract for presentation at Lambda Days, a great FP conference in Krakow that this year is co-located with TFP.

    Poništi
  7. 20. ruj 2019.
    Poništi
  8. 17. ruj 2019.

    Two months to go to the submission deadline for Trends in Functional Programming. Time to start work on an article...

    Poništi
  9. 9. ruj 2019.

    I'll be speaking at Code BEAM Lite Budapest, on taking a research idea into industry. and

    Poništi
  10. 13. kol 2019.

    The call-for-papers for Trends in Functional Programming 2020 is out. New winter dates midway between ICFPs; supportive review process with two chances to convince referees; colocated with exciting Lambda Days in beautiful Krakow. Don't miss it! .

    Poništi
  11. 4. srp 2019.

    Just submitted: How to Specify it! A Guide to Writing Properties of Pure Functions. Hope it will prove useful!

    Poništi
  12. proslijedio/la je Tweet
    3. svi 2019.

    One week until submission deadline -- 10 May 2019. Technical, practice, and application papers. Long (12 pages) and short (6 pages). , , , , , ,

    Poništi
  13. 11. ožu 2019.

    I just watched IOHK's interview with me: (15 minutes). Pleased to see I made quite a lot of sense!

    Poništi
  14. 7. ožu 2019.

    My Lambda Days talk is online now: Building on developers' intuitions to create effective property-based tests.

    Poništi
  15. 14. velj 2019.

    Very nice popular science video about a colleague's work on proving compilers correct. In English, despite the title!

    Poništi
  16. 5. velj 2019.

    Interested in testing and verifying machine learning systems? Postdoc position available in the functional programming group at Chalmers.

    Poništi
  17. 23. pro 2018.

    Postdoc position at Chalmers, in verification of machine learning algorithms:

    Poništi
  18. proslijedio/la je Tweet
    26. ruj 2018.

    At IOHK, we are committed to deliver high quality software and providing the training that is necessary for this. We collaborated with QuviQ to provide functional correctness training for our developers. In this video from shares his insights:

    Poništi
  19. 8. ruj 2018.
    Poništi
  20. 25. tra 2018.

    The cfp for the Erlang workshop is out: Combine the trip with Strange Loop!

    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:

    ·