🦞🌯 Lobster Roll

Thread

Practical Types Brainstorming Event (staff.computing.dundee.ac.uk)
L 1 pts 0 comments by steshaw May 12, 2014 compsciprogramming thread

Stories related to "Practical Types Brainstorming Event" across the full archive.

Practical Types Brainstorming Event (staff.computing.dundee.ac.uk)
L 1 pts 0 comments by steshaw May 12, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Integrating Dependent and Linear Types (draft) (cs.bham.ac.uk)
L 4 pts 1 comments by BruceM Jul 10, 2014 compscipdfprogramming Programming (General)Programming Languages / CS Theory thread
Mindless, Verified (Erasably) Coding using Dependent Types (github.com)
L 9 pts 1 comments by zem Jul 14, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
From the readme, the "mindless" refers to the fact that "fully-specified" coding using dependent types can actually simplify the task of implementing complex algorithms, while providing full verification of the resulting (extracted) code.
Revenge of the Types (by Armin Ronacher) (lucumr.pocoo.org)
L 11 pts 2 comments by amontalenti Aug 24, 2014 compsciprogrammingpython Programming (General)Programming Languages / CS Theory thread
Types Don't Know # (C++ proposal for better hashing) (htmlpreview.github.io)
L 7 pts 0 comments by BruceM Sep 15, 2014 androidccompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Seven deadly sins of talking about “types” (cl.cam.ac.uk)
L 43 pts 3 comments by BruceM Oct 7, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Dependent Types for Pragmatics (jonmsterling.com)
L 11 pts 0 comments by BruceM Oct 19, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Against the definition of types (tomasp.net)
L 4 pts 0 comments by pushcx May 15, 2015 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Strange Loop 2016 (youtube.com)
L 41 pts 9 comments by tf Sep 18, 2016 compscieventprogrammingvideo Programming (General)Programming Languages / CS Theory thread
Compose Conference Melbourne, 2016 (youtube.com)
L 5 pts 0 comments by inactive-user Sep 19, 2016 compscieventhaskelljavascriptprogrammingscalavideo Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
All the videos from compose conference!
2020: New Ideas in Programming
L 2 pts 2 comments by david927 Dec 5, 2016 compscieventprogramming Programming (General)Programming Languages / CS Theory thread
This next Saturday at 10am at HanaHaus in Palo Alto, we'll have a special meeting of 2020 with two presentations. More information here: http://2020salon.blogspot.com
Salon des Refusés: Dialectics for new computer science (refuses.github.io)
L 2 pts 0 comments by tf Dec 13, 2016 compscieventprogramming Programming (General)Programming Languages / CS TheoryScience / Math / Physics thread
Swift Enums Are “sum” Types. That Makes Them Very Interesting (mislavjavor.com)
L 3 pts 0 comments by solidsnack Apr 20, 2017 compsciprogrammingswift Programming (General)Programming Languages / CS TheoryApple / macOS / iOS thread
A good exploration of product vs. sum types -- when they are used and where the names come from.
Alms - Sound, ML-like Language with Affine Types (2011) (users.eecs.northwestern.edu)
L 8 pts 0 comments by nickpsecurity May 6, 2017 compscimlprogramming Programming (General)Programming Languages / CS Theory thread
Practical, Lock-Free Garbage Collection Using Reference Counting (2004) (non-blocking.com)
L 1 pts 0 comments by nickpsecurity Sep 18, 2017 compscipdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Stateful Contracts for Affine Types (2010) (users.eecs.northwestern.edu)
L 7 pts 0 comments by nickpsecurity Dec 7, 2017 compscipdfpltprogramming Programming (General)Programming Languages / CS Theory thread
Refinement Types in ML (1991) (cs.cmu.edu)
L 9 pts 2 comments by nickpsecurity Jan 14, 2018 compilerscompscimlpdfprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Data is no Longer at REST (blog.ably.io)
L -4 pts 0 comments by deyan Jun 22, 2018 audiocompscieducationeventpltprogrammingscalingvideoweb Web DevelopmentProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
A Practical Theory Of Programming (cs.toronto.edu)
L 18 pts 4 comments by zdsmith Aug 1, 2018 bookcompscipdfprogramming Programming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
TypeScript: Static types for JavaScript (youtube.com)
L 3 pts 0 comments by davidk01 Jan 10, 2019 eventprogrammingvideo Web DevelopmentProgramming (General) thread
A Practical Introduction to Graphs (Network Diagrams) (healeycodes.com)
L 4 pts 0 comments by healeycodes Jul 8, 2020 compsciprogrammingpython Programming (General)Programming Languages / CS Theory thread
Extending native JS prototypes is not such a crazy idea with symbols (dev.to)
L 9 pts 12 comments by slikts Jul 20, 2023 compscijavascriptprogramming Web DevelopmentProgramming (General)Programming Languages / CS Theory thread
Leveraging types for better APIs (github.com)
L 5 pts 0 comments by green7ea Jul 24, 2024 compscinetworkingprogramming Programming (General)Programming Languages / CS TheoryData / Databases / Infrastructure thread
Millets: a practical memory-safety and thread-safety experiment (eagledot.xyz)
L 3 pts 0 comments by eagledot Feb 3, 2026 compsciprogramming Programming (General)Programming Languages / CS Theory thread
Existential types and data abstraction (iveselov.info)
L 3 pts 0 comments by inactive-user Aug 30, 2012 compsci Programming Languages / CS Theory thread
More Practical Method Combinators: pre- and post-conditions (github.com)
L 3 pts 0 comments by pushcx Sep 13, 2012 compscijavascript Web DevelopmentProgramming Languages / CS Theory thread
We need more PyCon US 2013 submissions! (pydanny.com)
L 1 pts 0 comments by vladikoff Sep 28, 2012 compscieventpython Programming (General)Programming Languages / CS Theory thread
A Practical Optional Type System for Clojure (s3.amazonaws.com)
L 2 pts 1 comments by tobym Oct 25, 2012 compscilisppdf Programming Languages / CS Theory thread
Rust: Function and Object Types (smallcultfollowing.com)
L 1 pts 1 comments by andymatuschak Nov 4, 2012 compscirust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Modeling the World with Prototypes (devblog.avdi.org)
L 5 pts 0 comments by rob Dec 11, 2012 compsciruby Programming (General)Programming Languages / CS Theory thread