BT
rss
28:53
Development Follow 604 Followers

Stephanie Weirich on Dependent Typing, Extending Haskell, Type System Research

Interview with Stephanie Weirich Follow 0 Followers on  Feb 05, 2016

Stephanie Weirich gives an introduction to the ideas behind dependent typing, dependent typing in Haskell, extending Haskell, and the status and future of type theory.

26:59
Development Follow 604 Followers

Leah Hanson on the Julia Language, Static Analysis

Interview with Leah Hanson Follow 0 Followers on  Feb 04, 2016

Leah Hanson explains the characteristics of the Julia language, its type system, how to use and implement static analysis for the Julia language in the Julia language, and much more.

16:40
Development Follow 604 Followers

Amir Chaudhry on Unikernels, MirageOS, HalVM, Rump Kernels

Interview with Amir Chaudhry Follow 1 Followers on  Jan 29, 2016

Amir Chaudhry explains the ideas behind Unikernels, implementations like the OCaml-based MirageOS and Haskell-based HalVM, Rump Kernels for integrating with legacy code and much more.

26:34
.NET Follow 370 Followers

Andreia Gaita on .NET and Mono, Unity, VR

Interview with Andreia Gaita Follow 0 Followers on  Jan 23, 2016

Andreia Gaita takes a look at the state of Core CLR and Mono, Unity, cross platform mobile apps with Mono, the state of VR and the many challenges VR developers face.

16:40
Development Follow 604 Followers

Darach Ennis on the Pony Language, Actors, Concurrency

Interview with Darach Ennis Follow 0 Followers on  Jan 17, 2016

Darach Ennis talks about the actor-model language Pony, its distinguishing approaches to memory management and concurrency, how it relates to Erlang, and much more.

30:10
Development Follow 604 Followers

Sylvan Clebsch on the Actor-Model Language Pony, Garbage Collection, Capabilities, Concurrency

Interview with Sylvan Clebsch Follow 1 Followers on  Dec 24, 2015 1

Sylvan Clebsch introduces Pony, a language built on the actor model which combines new approaches to garbage collection and concepts like capabilities to write high performance, concurrent code.

24:39
Development Follow 604 Followers

Felienne Hermans on Applying Software Engineering Methods to Spreadsheets

Interview with Felienne Hermans Follow 0 Followers on  Dec 17, 2015

Felienne Hermans explains the how and why of applying software engineering methods (testing, static analysis, refactoring) to spreadsheets.

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