BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

Type Theory  Content on InfoQ rss

Podcasts about Type Theory rss

Architecture & Design Follow 619 Followers Pony Language Designer Sylvan Clebsch on Pony’s Design, Garbage Collection, and Formal Verification with Sylvan Clebsch Follow 0 Followers Posted on Jul 07, 2017 In this podcast Charles Humble talks to Sylvan Clebsch, who is the designer of the actor-model language Pony programming and now works at Microsoft Research in Cambridge in the Programming Language Principles group. They talk about the inspirations behind Pony, how the garbage collector avoids stop-the-world pauses, the queuing systems, work scheduler, and formal verification.

Presentations about Type Theory rss

Development Follow 145 Followers Category Theory for the Working Hacker by Philip Wadler Follow 2 Followers Posted on Jul 28, 2016 1
Java Follow 378 Followers Types Working for You, Not against You by Richard Dallaway Follow 0 Followers Posted on May 15, 2016
Java Follow 378 Followers Contracts in Clojure: Settling Types vs Tests by Jessica Kerr Follow 0 Followers Posted on Mar 06, 2016
Followers Finding Minimum Type Error Sources by Zvonimir Pavlinovic Follow 0 Followers , Tim King Follow 0 Followers , Thomas Wies Follow 0 Followers Posted on Apr 17, 2015
Followers Confined Gradual Typing by Esteban Allende Follow 0 Followers , Johan Fabry Follow 0 Followers , Ronald Garcia Follow 0 Followers , Éric Tanter Follow 0 Followers Posted on Mar 18, 2015
Followers Rate Types for Stream Programs by Thomas Bartenstein Follow 0 Followers , Yu David Liu Follow 0 Followers Posted on Mar 15, 2015
Followers Data Modeling for Scale with Riak Data Types by Sean Cribbs Follow 0 Followers Posted on Aug 10, 2014
Followers Scalaz 'For the Rest of Us' by Adam Rosien Follow 0 Followers Posted on May 23, 2014
Followers Scala vs Idris: Dependent Types, Now and in the Future by Miles Sabin;Edwin Brady Follow 0 Followers Posted on Dec 04, 2013
Followers The Trouble With Types by Martin Odersky Follow 1 Followers Posted on Oct 28, 2013 5
Followers Dependent Types for JavaScript by Ravi Chugh Follow 0 Followers Posted on Mar 20, 2013
Followers Types vs. Tests: An Epic Battle? by Amanda Laucher Follow 0 Followers , Paul Snively Follow 0 Followers Posted on Nov 13, 2012
Followers Expressing Abstraction - Abstracting Expression by Ola Bini Follow 0 Followers Posted on Nov 01, 2012 2
Followers Type Systems for DSLs by Markus Völter Follow 0 Followers Posted on Aug 16, 2011 1

News about Type Theory rss

Development Follow 145 Followers Using the Actor-model Language Pony for FinTech by Charles Humble Follow 169 Followers Posted on Mar 14, 2016 Followers Under the Hood with a Prototype of Enhanced Generics for Java by Ben Evans Follow 12 Followers Posted on Dec 29, 2014 23 Followers Facebook Flow Provides More Static Typing for JavaScript by Abel Avram Follow 4 Followers Posted on Nov 19, 2014
Followers Core.Typed Adds an Optional Type System to Clojure by Mirko Stocker Follow 0 Followers Posted on Oct 07, 2013 Followers Announcing Verve – A Type-Safe Operating System by James Vastbinder Follow 0 Followers Posted on Dec 08, 2010

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT