BT

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

Older rss
28:53
Development Follow 83 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.

37:00
Development Follow 83 Followers

Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Interview with Adam Wick Follow 0 Followers on  Jan 08, 2016

Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.

21:52
Followers

Richard Minerich on Functional Programming, F#, Type Providers and Dynamic Languages

Interview with Richard Minerich Follow 0 Followers on  Sep 04, 2013

Richard Minerich explains the reasons for choosing F#, how F# Type Providers help to integrate languages like R, how to bring Functional Programming to enterprise developers, and much more.

28:23
Followers

Erik Meijer on Monads

Interview with Erik Meijer Follow 0 Followers on  Aug 09, 2013 2

Erik Meijer explains Monads, from the basics to the reasons for the IO Monad.

36:10
Followers

Duncan Coutts on Parallelism and Concurrency with Haskell, Distributed Programming with Cloud Haskell

Interview with Duncan Coutts Follow 0 Followers on  Feb 21, 2013

Duncan Coutts explains the nature of Concurrency and Parallelism in Haskell, its threading and STM implementation, Erlang OTP's influence on CloudHaskell for distributed programming, Monads, and more.

Followers

Erik Meijer discusses programming language design, effects and some web programming problems

Interview with Erik Meijer Follow 0 Followers on  Dec 21, 2012 3

Erik Meijer distinguishes between two kinds of programming languages, pure functional and all the others. He emphasizes some issues regarding mixing higher order programming with effects. Erik then talks about the nature of Javascript, and true problems we need to solve in web programming.

Followers

Rúnar Bjarnason on Scalaz, Lenses, Functional Programming and Scala

Interview with Rúnar Bjarnason  Followers on  Jul 18, 2012 1

Rúnar Bjarnason talks about the ideas behind and features in the popular scalaz library, programming concepts like (bi-directional) lenses, Scala Macros, and much more.

Followers

Scala, Functional Programming and Play 2.0

Interview with Sadek Drobi Follow 0 Followers on  Jun 28, 2012 6

Sadek Drobi discusses functional programming sand Scala's multi paradigm approach at QCon London 2012. He also shares insights into the new Play 2.0 framework.

Followers

Philip Wadler on Functional Programming

Interview with Philip Wadler Follow 1 Followers on  May 03, 2012 4

Philip Wadler talks about the role of functional programming and some of the reasons for its slow rise in the past and its influence today. Also: lambda calculus, monads, continuations and much more.

Followers

Simon Thompson and Huiquing Li on Refactoring in Functional Languages Like Haskell or Erlang

Interview with Simon Thompson Follow 0 Followers , Huiquing Li Follow 0 Followers on  Sep 16, 2011

Simon Thompson and Huiqing Li explain refactoring with functional languages and Wrangler (Erlang) and HaRe (Haskell). Also: how Wrangler's ad-hoc mode allows everyone to write custom refactorings.

Followers

Gregory Collins on High Performance Web Apps with Snap and Haskell

Interview with Gregory Collins Follow 0 Followers on  Jun 17, 2011

Gregory Collins talks about Snap, a high performance web framework for Haskell, where it fits in the web framework spectrum, the Iteratee I/O model, Haskell performance and much more.

Followers

Debasish Ghosh on DSLs and Akka

Interview with Debasish Ghosh Follow 0 Followers on  Apr 29, 2011

Debasish Gosh talks about Domain Specific Languages: how to build DSLs with Scala or XText, real world DSLs, parser combinators and monads. Also: how Akka brings actor-based programming to the JVM.

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