অনুসন্ধান ফলাফল
  1. ১০ সেপ্টেম্বর, ২০১৭

    I have turned my controversial HIW lightning talk about new syntax ideas into a blog post:

    এই থ্রেডটি দেখান
  2. ৯ সেপ্টেম্বর, ২০১৭
  3. ৯ সেপ্টেম্বর, ২০১৭

    on IDE Support for ; useful links IW2017

  4. ৯ সেপ্টেম্বর, ২০১৭

    ICFP Contest Organisers go punting!

  5. ৯ সেপ্টেম্বর, ২০১৭

    It's that time of the year.

  6. ৮ সেপ্টেম্বর, ২০১৭

    Thanks Facebook for sponsoring the Lambda Ladies Dinner!

  7. ৮ সেপ্টেম্বর, ২০১৭

    "Session Types and Cake" poster at wins my eye-catching title attention.

  8. ৮ সেপ্টেম্বর, ২০১৭

    Mezzo forces music theory rules statically and creates compile errors

  9. ৮ সেপ্টেম্বর, ২০১৭

    Neural net in using Owl library. ocaml workshop University Of Oxford Mathematical Institute-এ

  10. ৮ সেপ্টেম্বর, ২০১৭

    The Mezzo Haskell EDSL for music composition produces type errors when you try to compile awful music code <3

  11. ৭ সেপ্টেম্বর, ২০১৭

    Tutorial material for the GraphQL in OCaml tutorial is available here: Friday @ 14:00!

  12. ৭ সেপ্টেম্বর, ২০১৭

    Liked 's talk? Our paper is open access: Love, program synthesis and theorem-proving -- for free!White House-এ

  13. ৭ সেপ্টেম্বর, ২০১৭

    "The first GADT was in latin" -- Jeremy Yallop

  14. ৬ সেপ্টেম্বর, ২০১৭

    Two thumbs up for for supporting remote participation via streaming. Hopefully we can do this in more ACM conferences

  15. ৬ সেপ্টেম্বর, ২০১৭

    Here's essentially the authoritative table of programming language popularity in the real world.

  16. ৬ সেপ্টেম্বর, ২০১৭

    Wat talk, Haskell style, with solutions. Love it.

  17. ৫ সেপ্টেম্বর, ২০১৭

    Staged Generic Programming Jeremy Yallop Nice to see efficient datatype generic programming at

  18. ৫ সেপ্টেম্বর, ২০১৭

    "People talk of neural nets in terms of brains.. load of garbage. They're spreadsheets on steroids"

  19. ৪ সেপ্টেম্বর, ২০১৭

    Slides for my keynote "Compositional Creativity" available here: - check for video!

    এই থ্রেডটি দেখান
  20. ৪ সেপ্টেম্বর, ২০১৭

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।