Stories tagged as plt – Programming language theory, types, design

Tip: read stories across multiple tags with /t/tag1,tag2

  1. 21
    Broccoli: Syncing faster by syncing less plt dropbox.tech
    raymii avatar via raymii 2 days ago | cached | 7 comments
  2. 6
    Imperative functional programming (1992) pdf haskell historical plt microsoft.com
    Hail_Spacecake avatar via Hail_Spacecake 2 days ago | cached | no comments
  3. 29
    Factor programming language plt factorcode.org
    minimax avatar via minimax 2 days ago | cached | 24 comments
  4. 39
    Swift type checking is undecidable plt swift forums.swift.org
    hwayne avatar via hwayne 2 days ago | cached | 4 comments
  5. 9
    Name one OO class/interface you like, and one you dislike? ☶ ask plt
    Sietsebb avatar authored by Sietsebb 3 days ago | 6 comments
  6. 2
    Improving Declarative APIs for Graphics with Types plt irreactive.com
    Sietsebb avatar via Sietsebb 3 days ago | cached | no comments
  7. 4
    Getting my head around the choice between sleeping and 'tickers' plt utcc.utoronto.ca
    raymii avatar via raymii 4 days ago | cached | 1 comment
  8. 6
    SETL - The SET Programming Language (2010) math plt hakank.org
    hwayne avatar via hwayne 6 days ago | cached | 4 comments
  9. 18
    Zero Cost References with Regions in Vale performance plt rust vale.dev
    Verdagon avatar authored by Verdagon 6 days ago | cached | 3 comments
  10. 21
    Edwin Brady Tells Us What's New in Idris 2 video formalmethods plt youtube.com
    thomas0 avatar via thomas0 7 days ago | cached | no comments
  11. 8
    Mecrisp Forth on STM32 Microcontroller (blue pill) (2017) video hardware plt youtube.com
    sevan avatar via sevan 8 days ago | cached | 1 comment
  12. 4
    Relaxing the Data Initialization Policy of SPARK formalmethods plt blog.adacore.com
    qznc avatar via qznc 9 days ago | cached | no comments
  13. 13
    Demystifying MLsub: the Simple Essence of Algebraic Subtyping plt lptk.github.io
    sanxiyn avatar via sanxiyn 10 days ago | cached | 1 comment
  14. 13
    Should I use Chapel or Julia for my next project? (2017) performance plt dursi.ca
    hwayne avatar via hwayne 12 days ago | cached | 8 comments
  15. 3
    PLTalk: Practical Formal Methods with Hillel Wayne plt tldrsec.com
    mooreds avatar via mooreds 13 days ago | cached | 1 comment
  16. 17
    The Implementation of Functional Programming Languages (1987) pdf compsci historical plt microsoft.com
    calvin avatar via calvin 14 days ago | cached | 4 comments
  17. 12
    Exploring Algol 68 in the 21st century historical plt opensource.com
    calvin avatar via calvin 15 days ago | cached | 1 comment
  18. 5
    An APL Machine (1970) pdf apl compilers historical plt slac.stanford.edu
    lorddimwit avatar via lorddimwit 17 days ago | cached | 4 comments
  19. 31
    Three Architectures for a Responsive IDE compilers plt rust-analyzer.github.io
    matklad avatar authored by matklad 17 days ago | cached | no comments
  20. 2
    Adding "@ts-expect-error" comments to TypeScript compilers javascript plt blog.joshuakgoldberg.com
    beyang avatar via beyang 17 days ago | cached | no comments
  21. 10
    The Next Steps for Single Ownership and RAII plt vale.dev
    dbremner avatar via dbremner 19 days ago | cached | no comments
  22. 8
    Tutorial: Building Your Language with Graal & Truffle compilers java plt norswap.com
    norswap avatar authored by norswap 19 days ago | cached | no comments
  23. 61
    Turning the IDE Inside Out with Datalog databases plt petevilter.me
    brendan avatar via brendan 20 days ago | cached | 13 comments
  24. 16
    Why even unused data needs to be valid plt rust ralfj.de
    skade avatar via skade 22 days ago | cached | no comments
  25. 10
    A conversation with Luke Hoban, co-founder of TypeScript, CTO of Pulumi devops javascript plt programming web about.sourcegraph.com
    beyang avatar authored by beyang 24 days ago | cached | no comments
Page 2 >>