Dominic Orchard

@dorchard

Computer science researcher and lecturer, interested in mathematically structured programming and lots else, at the School of Computing, University of Kent

Canterbury, UK
dorchard.co.uk
Vrijeme pridruživanja: prosinac 2008.
14 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @dorchard

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

  1. Prikvačeni tweet
    26. lip 2019.

    Granule is an experimental functional language with linear, indexed, and "graded modal" types for fine-grained reasoning. Download & play and/or read our upcoming ICFP 2019 paper w/

    5 replies 35 proslijeđenih tweetova 78 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    prije 22 sata

    Dipping your toe in the water of programming languages research and want to learn more? Already doing PL research and want to learn to manage your academic career? The Programming Language Mentoring Workshop for students will be held on June 16th, 2020, right before 2020.

    1 reply 18 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    prije 22 sata
    Odgovor korisnicima

    A small example might help:

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  4. 5. velj

    Agda: `Goal: false ≡ true` Me: Oh no.... Agda: `Context: x : false ≡ true` Me: Phew!

    8 proslijeđenih tweetova 55 korisnika označava da im se sviđa
    Poništi
  5. 5. velj

    I like Agda for many things, but it's frustrating when it synthesises code that it can't then type check. Something we are working to avoid in Granule's program synthesis engine! But what Agda does is still fantastic.

    1 reply 15 korisnika označava da im se sviđa
    Poništi
  6. 31. sij

    (happy that we got to use the phrase "oidification"!)

    1 reply 12 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 31. sij

    The culmination is that a category-graded monad, when generalised to 2-categories and given a little additional structure (a "generalised unit", arising as a particular kind of lax natural transformation), gives a structure subsuming both graded and parameterised monads.

    1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. 31. sij

    We start from a subset of lax functors which we call category-graded monads (by analogy with graded monads which are really "monoid graded"). This provides a basis for exploring the relationship between graded and parameterised monads.

    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. 31. sij

    Graded monads and parameterised monads both generalise monads to indexed forms, but with different kinds of indexing. , Phil Wadler, and I show that they can both be subsumed by a particular class of lax functors (with a little extra structure)

    14 proslijeđenih tweetova 58 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    30. sij

    We are building a Haskell team at in London. I am especially interested in exploring probabilistic programming. DM me if you are interested.

    9 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    22. sij

    Any writers here consulted an expert in a particular field as part of their fiction research? If so, how did you go about it? Especially interested if you did something more in-depth than an email or a phone call - maybe shadowed someone at their place of work. Please do RT...

    8 proslijeđenih tweetova 8 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    16. sij

    Looking to do a PhD in computer science, and possibly in programming languages? is a great place. Next application deadlines is coming very soon (31st of January). But there’s another one in March/April. Get in contact if you’re interested!

    16 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  13. 15. sij

    ...but I am worried using this symbol will be too confusing with the diagonal functor. Also using \nabla (dualising \Delta) for the functor mapping categories to indiscrete categories. Too confusing (i.e. with codiagonal) even if I explain the overloading? Anything better? (2/2)

    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 15. sij

    Category theory Twitter: is there a standard name/symbol for functor Cat -> Cat that maps categories to discrete categories (erasing morphisms apart from identities). I want to call this \Delta as its like restricting the adjacency matrix of the morphisms to the diagonal... (1/2)

    1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    9. sij

    Interested in a in ? Check out our call for PhD ! Lots of opportunities in areas including , security , , security & , , , , , and more!

    Guess who has 2+3+20 in available? We, the Kent Centre in (KirCCS ), do! 😁 Get your applications in ASAP, earliest deadlines 01/2020.
    10 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    11. pro 2019.

    Hey, ’s ICFP19 talk is on YouTube. It introduces , , and my paper on Granule.

    5 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    9. pro 2019.

    Think types for verification is dry? Think again! " is my new tech idol - he presented what could be an intimidating or dry topic with such enthusiasm and made it accessible with lots of easy to follow examples." - actual feedback from attendee 👀

    7 proslijeđenih tweetova 18 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    16. stu 2019.

    The space of graded modalities spans many fields: from programming languages such as all the way to a whole field of modal logics from Counterfactuals, to epistemic and deontic logics, ... See a survey from this year by

    Odgovor korisnicima @sci_tec @dorchard i sljedećem broju korisnika: 3
    A talk on Granule, a functional programming language with linear and graded modal types using (co)monads for fine tuning of (co)effects given at this summer summit organised by the community. See
    1 reply 2 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    15. stu 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    A talk on Granule, a functional programming language with linear and graded modal types using (co)monads for fine tuning of (co)effects given at this summer summit organised by the community. See

    1 reply 1 proslijeđeni tweet 8 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    14. stu 2019.
    Odgovor korisniku/ci

    I love these unspendable resources! Joy is another. I wrote a blog post with more of them here:

    1 reply 4 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  21. 12. stu 2019.

    Thrilled to announce this podcast produced by featuring myself, the team, and friends, all about computational modelling in science and program verification.

    Computer Models: Welcome to the catwalk
    6 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Poništi

@dorchard još nije objavio nijedan Tweet.

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

    ·