🦞🌯 Lobster Roll

Thread

Stateful Contracts for Affine Types (2010) (users.eecs.northwestern.edu)
L 7 pts 0 comments by nickpsecurity Dec 7, 2017 compscipdfpltprogramming thread

Stories related to "Stateful Contracts for Affine Types (2010)" across the full archive.

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
Foundations of Session Types and Behavioural Contracts (dl.acm.org)
L 2 pts 0 comments by craigstuntz Jul 29, 2016 compscipdf Programming Languages / CS Theory thread
ACM Survey paper, but not paywalled
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
Existential types and data abstraction (iveselov.info)
L 3 pts 0 comments by inactive-user Aug 30, 2012 compsci 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
Iso-Recursive versus Equi-Recursive Types (whiley.org)
L 1 pts 0 comments by puffnfresh Apr 30, 2013 compsci Programming Languages / CS Theory thread
Wadler's Blog: Propositions as Types (wadler.blogspot.com)
L 13 pts 3 comments by craigstuntz Mar 8, 2014 compscimath Programming Languages / CS TheoryScience / Math / PhysicsInternet / Digital Culture thread
Scala vs Idris: Dependent Types, Now and in the Future (infoq.com)
L 1 pts 0 comments by SeanTAllen Mar 20, 2014 compsciscalavideo Programming Languages / CS Theory thread
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
The Algebra of Algebraic Data Types (youtu.be)
L 9 pts 1 comments by beala May 17, 2014 compscihaskellvideo Programming Languages / CS TheoryScience / Math / Physics thread
Verified Networking using Dependent Types (simonjf.com)
L 17 pts 1 comments by inactive-user May 25, 2014 compscinetworkingpdf Programming Languages / CS TheoryData / Databases / Infrastructure thread
Abusing the algebra of algebraic data types - why does this work? (stackoverflow.com)
L 13 pts 1 comments by tomjakubowski Jun 30, 2014 compscihaskell Programming Languages / CS TheoryScience / Math / Physics thread
This question led to a series of related blog posts by the author: * [The Algebra of Algebraic Data Types](http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/) * [The Algebra of Algebraic Data Types, Part 2](http://chris-taylor.github.io/blog/2013/02/11/the-algebra...
Types, Logic, Semantics, and Verification (cs.uoregon.edu)
L 8 pts 2 comments by nikola Jul 7, 2014 compscivideo Programming Languages / CS Theory thread
Videos of this year's lectures are available!
Conflict-free Replicated Data Types (53m) (edgecasesshow.com)
L 4 pts 1 comments by pushcx Jul 8, 2014 compscidatabases Programming Languages / CS TheoryData / Databases / Infrastructure 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
Grap: a language for typesetting graphs (lunabase.org)
L 3 pts 0 comments by pushcx Jul 11, 2014 compscidesign Programming Languages / CS TheoryDesign / UX / Visualization thread
Patoline - a modern digital typesetting system (patoline.org)
L 7 pts 1 comments by muspellsson Jul 12, 2014 compsci Programming Languages / CS TheoryInternet / Digital Culture 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.
Qualified Types: Theory and Practice (cs.ox.ac.uk)
L 5 pts 0 comments by gclaramunt Jul 24, 2014 compscihaskellmlpdf Programming Languages / CS Theory thread
Algebraic Data Types (tech.esper.com)
L 13 pts 1 comments by jamesmacaulay Jul 31, 2014 compsci Programming Languages / CS Theory thread
Distinguishing Two Major Types of Column-Stores [2010] (dbmsmusings.blogspot.com)
L 2 pts 0 comments by tobym Aug 5, 2014 databases Data / Databases / Infrastructure thread
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
Introduction to Dependent Types: Haskell on Steroids (jozefg.bitbucket.org)
L 11 pts 7 comments by tel Aug 27, 2014 compscihaskell 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
The empirical evidence that types affect productivity and correctness (danluu.com)
L 27 pts 2 comments by pushcx Nov 10, 2014 compsciscience Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business thread
Worth skipping down to the summary and then reading through the details if you're curious about the nitty-gritty.
Types and Functions (bartoszmilewski.com)
L 1 pts 0 comments by SeanTAllen Jan 2, 2015 compsci Programming Languages / CS Theory thread
Pebble, a Kernel Language for Modules and Abstract Data Types (1988) (research.microsoft.com)
L 5 pts 0 comments by kel Feb 25, 2015 compscipdf Systems / Low-Level / OSProgramming Languages / CS Theory thread