Dependent Types

@dependent_types

Mostly an automated feed from the Dependent Types reddit

Vrijeme pridruživanja: srpanj 2009.

Tweetovi

Blokirali ste korisnika/cu @dependent_types

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

  1. 29. sij

    Terminating Tricky Traversals

    Poništi
  2. 27. sij

    Slides for "Resource Constrained Programming with Full Dependent Types"

    Poništi
  3. 23. sij

    Coinductive Formalization of SECD Machine in Agda (MSc thesis, pdf)

    Poništi
  4. 22. sij

    The Why of Juvix: Ingredients & Architecture – Language for Secure Smart Contracts with Strong Dependent Types

    Poništi
  5. 14. sij

    Arities in Homotopy Type Theory?

    Poništi
  6. 8. sij

    The Why of Juvix: [Part 1] On the design of smart contract languages

    Poništi
  7. 30. pro 2019.

    "The future of mathematics?" by Kevin Buzzard, featuring Lean theorem prover (talk + slides)

    Poništi
  8. 29. pro 2019.

    A Question About the Order of Learning from the Book “Lectures on the Curry-Howard Isomorphism” (1998)

    Poništi
  9. 29. pro 2019.

    Three Equivalent Ordinal Notation Systems in Cubical Agda (pdf)

    Poništi
  10. 28. pro 2019.

    Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages (pdf)

    Poništi
  11. 27. pro 2019.

    Decidability of Homotopy Type Theory

    Poništi
  12. 18. pro 2019.

    [Video & Slides] Abstract data types in the region of abysmal pain, and how to navigate them

    Poništi
  13. 8. pro 2019.

    Correct-by-Construction Typechecking with Scope Graphs (MSc Thesis, pdf)

    Poništi
  14. 4. pro 2019.

    Implementations of Dependent Type Theory

    Poništi
  15. 1. pro 2019.

    Cedille Cast #9: Impredicativity, proof-irrelevance, and normalization

    Poništi
  16. 16. stu 2019.

    Be dependent by saving for the future. You're gonna need it!

    Poništi
  17. 16. stu 2019.

    A Small Proof that Fin is Injective

    Poništi
  18. 11. stu 2019.

    Propositions as Types: Some Missing Links

    Poništi
  19. 9. stu 2019.

    Formalizing expresiveness of line editors

    Poništi
  20. 6. stu 2019.

    Proving Groupoids with Idris

    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:

    ·