In this talk from the Cardano 2020 Virtual Summit, I am explaining the design of the custom native asset functionality of Cardano (starting at 18:40min). This is based on the work published in th...
This is the video of the keynote talk “Blockchains are functional” that I delivered at the ACM SIGPLAN International Conference on Functional Programming 2019 . Here is the abstract: > Fun...
In the Plutus & Marlowe team at IOHK , we developed an extension to Bitcoin-style UTxO ledgers that we are calling the Extended UTxO Model and that significantly extends the contract scripting ca...
Check out the draft of the paper describing the principles underlying Plutus Platform. Here the abstract: > Distributed cryptographic ledgers —aka blockchains —should be a > funct...
My talk “Rethinking Blockchain Contract Development” from Lambda Days 2019 , where I outline why blockchains and functional programming are a good fit and how we are exploiting that in the de...
This is a video interview, where I am talking about what I see as the value proposition of functional programming, functional programming in industry, and how the YOW! Lambda Jam conference help...
Why functional programming? Why blockchains? What is the architecture of the Plutus Platform for contract development and why is it based on Haskell? These are some of the questions that I am try...
About six weeks ago, I moved from Sydney, Australia, to Utrecht in the Netherlands. Naturally, I started to learn Dutch.(*) This post is mainly a summary of the things I found helpful so far. A...
If you like to get a thorough introduction to functional programming in Haskell, check out the Applied Functional Programming Summer School , which is 27-31 August in Utrecht, Netherlands. It is ...
This is the video of the Sydney instance of my YOW! Night tour this month, talking about “Demystifying functional programming and what that means for learning & teaching” — i.e., teaching ...
In March, I will talk about Demystifying functional programming and what that means for learning & teaching in four different cities: March 6 – Sydney / March 8 – Melbourne / March 13 – Pe...
Do you know how to write FP compilers? Would you like to design & implement next-generation, functional(!) smart contract languages with Phil Wadler and myself? Check out Phil’s post and the I...
Here is the video of my Functional Conf 2017 talk Haskell SpriteKit — a Purely Functional API for a Stateful Animation System and Physics Engine . In this talk, I am explaining how to wrap an ...
This coming weekend, I will present Haskell SpriteKit — a Purely Functional API for a Stateful Animation System and Physics Engine as well as a workshop on Functional Programming in Swift at ...
Two months back, I gave my talk “Do-It-Yourself Functional Reactive Programming” at the Sydney CocoaHeads meetup . I am explaining what FRP is all about, how to easily implement an FRP librar...
I am excited about my new role at Tweag I/O ! Curious why? Read why I am a functional programming evangelist .
Keynote: Do-It-Yourself Functional Reactive Programming | SkillsCast | 30th March 2017 : A video of my iOSCon 2017 talk, where I develop a basic FRP system in Swift, is now online.
End of this month, I will talk at iOSCon 2017 in London (30 & 31 March). I am very much looking forward to get to know the vibrant iOS dev community in London as well as to meet the other speake...
In the new draft paper Streaming Irregular Arrays , we extend the high-performance array library Accelerate for Haskell with support for irregular streams of multidimensional arrays. We discuss ...
Here is the video of my talk “A Type is Worth a Thousand Tests” presented at Sydney CocoaHeads, November 2016 (you can also get the slides ) — I previously presented this talk at YOW! Conne...