Stories tagged as plt – Programming language theory, types, design
  1. 4
    Bidding Farewell to Globals (1988) plt practices programming archive.eiffel.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  2. 9
    Static access control using phantom types ml plt security blog.janestreet.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  3. 21
    Jai Primer plt github.com
    friendlysock avatar via friendlysock 3 months ago | cached | 25 comments
  4. 25
    I don't need types c++ plt python rust dmerej.info
    wezm avatar via wezm 3 months ago | cached | 16 comments
  5. 4
    Visual programming language snapshots historical plt blog.interfacevision.com
    enkiv2 avatar via enkiv2 3 months ago | cached | no comments
  6. 8
    The Avail Programming Language ☶ plt programming availlang.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 2 comments
  7. 12
    The Lambda Calculus: Practice and Principle ☶ pdf plt satire homepages.inf.ed.ac.uk
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | 1 comment
  8. 30
    Structural Types and Duck Typing plt blog.infinitenegativeutility.com
    enkiv2 avatar via enkiv2 3 months ago | cached | 12 comments
  9. 2
    ZZ Cell Programming historical plt xanadu.com
    enkiv2 avatar via enkiv2 3 months ago | cached | 1 comment
  10. 2
    An Explanation of Unification haskell plt github.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  11. 15
    Can F* replace Haskell and Coq? formalmethods ml plt cryptulf.com
    copy avatar via copy 3 months ago | cached | no comments
  12. 7
    How Developers Use the Dynamic Features of Programming Languages: The Case of Smalltalk (2013) pdf plt users.dcc.uchile.cl
    hwayne avatar via hwayne 3 months ago | cached | 3 comments
  13. 38
    Eff: Functional Language Based on Algebraic, Effect Handlers plt programming eff-lang.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 2 comments
  14. 29
    Out of the Tar Pit pdf compsci plt curtclifton.net
    cleong avatar via cleong 3 months ago | cached | 22 comments
  15. 15
    Professor Frisby's Mostly Adequate Guide to Functional Programming book education plt mostly-adequate.gitbooks.io
    cleong avatar via cleong 3 months ago | cached | 1 comment
  16. 12
    Mgmt Configuration Language devops linux plt purpleidea.com
    phaer avatar via phaer 3 months ago | cached | 4 comments
  17. 17
    On null plt programming sicpers.info
    leeg avatar authored by leeg 3 months ago | cached | 21 comments
  18. 2
    Extempore Language and Environment Philosophy lisp plt extemporelang.github.io
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  19. 10
    Reimplementing Hackett’s type language: expanding to custom core forms in Racket lisp plt lexi-lambda.github.io
    calvin avatar via calvin 3 months ago | cached | no comments
  20. 3
    References in PHP: An Indepth Look pdf php plt derickrethans.nl
    cleong avatar via cleong 3 months ago | cached | 2 comments
  21. 3
    The Const Applicative and Monoids haskell plt blog.jle.im
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | no comments
  22. 2
    Operads as a Potential Foundation for Systems of Systems (2016) pdf math plt programming categoricaldata.net
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  23. 2
    A Conservative Extension of Synchronous Data-flow with State Machines (2007) ☶ pdf plt programming di.ens.fr
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 1 comment
  24. 4
    Modelica: Object-oriented, Declarative, Multi-Domain, Modeling Language plt programming en.wikipedia.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  25. 2
    Follow the Denotation haskell plt reasonablypolymorphic.com
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | no comments
<< Page 2 | Page 4 >>