Stories tagged as plt – Programming language theory, types, design
  1. 14
    Linear Logic, Linear Lisp, Linear Types and Concatenative Languages lisp plt cdiggins.github.io
    tokenrove avatar via tokenrove 6 months ago | cached | 2 comments
  2. 11
    Symbolic Execution: Intuition and Implementation debugging haskell plt usrsb.in
    beala avatar authored by beala 6 months ago | cached | no comments
  3. 3
    Isolated Actors for Race-free, Concurrent Programming (2010) ☶ pdf distributed plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  4. 10
    Type Inference by Solving Constraints dotnet ml plt calebh.io
    calvin avatar via calvin 6 months ago | cached | no comments
  5. 5
    Tyr: A Dependent, Type System for Spatial, Memory Safety in LLVM (2016) pdf compilers plt core.ac.uk
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  6. 21
    Announcing Rust 1.24.1 ☶ plt release rust blog.rust-lang.org
    azdle avatar via azdle 6 months ago | cached | no comments
  7. 6
    Verification of a Practical Hardware Security Architecture via Static Information Flow Analysis ☶ pdf hardware plt programming security cse.psu.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  8. 8
    Capability-based Type Systems for Concurrency Control ☶ pdf distributed plt uu.diva-portal.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 3 comments
  9. 34
    Language Features for Non-programmers ☶ show plt angersock.com
    friendlysock avatar authored by friendlysock 6 months ago | cached | 15 comments
  10. 1
    QWeSST: Type-Safe, Web Programming Language (2011) ☶ pdf slides plt web cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  11. 13
    A Programmable Programming Language lisp plt cacm.acm.org
    leeg avatar via leeg 6 months ago | cached | 10 comments
  12. 65
    Nix 2.0 released ☶ linux plt programming release nixos.org
    skrzyp avatar via skrzyp 6 months ago | cached | 25 comments
  13. 2
    Orca: GC and Type System Co-Design for Actor Languages (2017) ☶ pdf distributed plt programming doc.ic.ac.uk
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  14. 3
    Type-Safe Access to Key-Value Stores from a Functional Language (2016) ☶ pdf compilers databases ml plt jstage.jst.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  15. 4
    My Favorite Bug (WadlerFest 2016) pdf debugging plt practices ccs.neu.edu
    bennn avatar via bennn 6 months ago | cached | no comments
  16. 2
    Reliable and Automatic Composition of Language Extensions to C (2017) ☶ pdf c compilers plt www-users.cs.umn.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 2 comments
  17. 7
    Designing and evaluating programming languages: Dagstuhl trip report education plt medium.com
    quobit avatar via quobit 6 months ago | cached | no comments
  18. 2
    Seams: Provably-Safe, Local Edits on Graphs (2017) ☶ pdf formalmethods plt programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  19. 14
    "Chunks of Bytecode", the next chapter in my book "Crafting Interpreters" book plt release craftinginterpreters.com
    munificent avatar authored by munificent 6 months ago | cached | 5 comments
  20. 7
    "Pure Functional Programming in Excel" by Felienne Hermans (2016) video compsci plt youtube.com
    DiegoVicente avatar via DiegoVicente 6 months ago | cached | no comments
  21. 11
    Spiral: A staged functional language for gpu programming plt github.com
    zem avatar via zem 6 months ago | cached | 5 comments
  22. 19
    Summer of Cod 2018 plt programming satire myrlang.org
    ac avatar via ac 6 months ago | cached | 4 comments
  23. 2
    The ABC Structure Editor ☶ pdf plt python citeseerx.ist.psu.edu
    lorddimwit avatar via lorddimwit 6 months ago | cached | no comments
  24. 9
    Implementing and Optimizing a Simple, Dependently-Typed Language (2010) ☶ pdf compilers haskell plt publications.lib.chalmers.se
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  25. 2
    Language Constructs for Safe, Parallel Programming on Multicores (2016) ☶ pdf plt programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
<< Page 6 | Page 8 >>