Stories tagged as plt – Programming language theory, types, design
  1. 4
    Modelica: Object-oriented, Declarative, Multi-Domain, Modeling Language plt programming en.wikipedia.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  2. 2
    Follow the Denotation haskell plt reasonablypolymorphic.com
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | no comments
  3. 10
    Languages well-suited for remote working ☶ ask plt
    zdsmith avatar authored by zdsmith 3 months ago | 10 comments
  4. 20
    Book recommendations for Programming Language Theory class ☶ ask plt
    superpat avatar authored by superpat 3 months ago | 28 comments
  5. 16
    KRust: A Formal Executable Semantics of Rust pdf formalmethods plt programming rust arxiv.org
    brendan avatar via brendan 4 months ago | cached | 1 comment
  6. 12
    Language Design: Unified Condition Syntax plt programming soc.github.io
    soc avatar authored by soc 4 months ago | cached | 29 comments
  7. 2
    Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012) ☶ pdf formalmethods haskell javascript plt testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  8. 9
    Polymorphism and its limitations ml plt caml.inria.fr
    Leonidas avatar via Leonidas 4 months ago | cached | no comments
  9. 8
    Increment: Programming Languages plt programming increment.com
    apg avatar via apg 4 months ago | cached | no comments
  10. 28
    Are functional programs easier to verify than imperative programs? formalmethods plt semantic-domain.blogspot.com
    hwayne avatar via hwayne 4 months ago | cached | 4 comments
  11. 2
    What happened to distributed programming languages? video distributed plt youtube.com
    enkiv2 avatar via enkiv2 4 months ago | cached | no comments
  12. 4
    Refinement Types for TLA+ (2014) ☶ pdf formalmethods plt citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  13. 53
    The Great Theorem Prover Showdown formalmethods plt hillelwayne.com
    hwayne avatar authored by hwayne 4 months ago | cached | 19 comments
  14. 8
    Program Reduction: A Win for Recursion Schemes haskell plt newartisans.com
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | 4 comments
  15. 2
    Parsing with Derivatives pdf performance plt matt.might.net
    enkiv2 avatar via enkiv2 4 months ago | cached | no comments
  16. 4
    Deep Probabilistic Programming Languages: A Qualitative Study ai plt arxiv.org
    enkiv2 avatar via enkiv2 4 months ago | cached | no comments
  17. 12
    How to prove a compiler fully abstract compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 4 months ago | cached | 3 comments
  18. 1
    Null Object as identity plt blog.ploeh.dk
    calvin avatar via calvin 4 months ago | cached | no comments
  19. 1
    The Essence of Reynolds (2014) pdf person plt cs.ucl.ac.uk
    hwayne avatar via hwayne 4 months ago | cached | no comments
  20. 13
    For goodness namesake erlang plt blog.ikura.co
    nato avatar authored by nato 4 months ago | cached | 17 comments
  21. 2
    Covariance and Contravariance In Java (2013) java plt dzone.com
    czocher avatar via czocher 4 months ago | cached | no comments
  22. 8
    Are unsound type systems wrong? clojure plt frenchy64.github.io
    Yogthos avatar via Yogthos 4 months ago | cached | 4 comments
  23. 1
    The Truth About Garbage Collection java plt web.archive.org
    zge avatar via zge 4 months ago | cached | no comments
  24. 2
    Help needed: Static typing and algebra ☶ compilers compsci math plt
    HenriTuhola avatar authored by HenriTuhola 4 months ago | 1 comment
  25. 54
    GraalVM plt graalvm.org
    355E3B avatar via 355E3B 4 months ago | cached | 30 comments
<< Page 3 | Page 5 >>