Entries tagged Haskell

Entries tagged Haskell

 -

"A Formal Approach to Distributed Systems: Implementing a Pi-Calculus Interpreter in Haskell"

Adjoint's Thomas Dietert presentation on new methods for distributed systems at Haskell eXchange 2018

It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions. However, once we have them at the type-level, you often find that GHC's type chec…

 -

"Write Your Own GHC Type Checker Plugins"

Adjoint's Gabe Dijkstra's Presentation on new methods for distributed systems at Haskell eXchange 2018

It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions. However, once we have them at the type-level, you often find that GHC's type chec…

 -

The Softer Side of Haskell

Featuring Adjoint Co-Founder and CTO, Stephen Diehl

 - Stephen Diehl, CTO

Adjoint CTO Gives Keynote on Compiler Design

Keynote Speech at ZuriHac 2018 by Stephen Diehl

Beginning of June 2018, theZürich Friends of Haskell association will organize ZuriHac 2018, a three day Haskell Hackathon hosted at the HSR Hochschule für Technik Rapperswil. This is the seventh Haskell Hackathon organized in Zürich and and the second one which is hosted at the HSR. A fantastic venue located right at lake Z&uum…

 - Thomas Dietert, Software Engineer

Leap Workshop: "Building a Blockchain in Haskell"

LambdaConf 2018 Thomas Dietert Leap Workshop Speaker

As of 2017, 'blockchain' is ubiquitous in the world of finance and is a buzzword (arguably) known throughout the world. From the booming cryptocurrency market to private over-the-counter trading between the biggest of financial institutions, blockchain is revolutionizing the way in which untrusted counterparties transact everything from fin…

 - Stephen Diehl, CTO

Reasoning About Program Behavior Algebraically

Presentation by Stephen Diehl

Adjoint CTO, Stephen Diehl will present on complex multiparty workflows and formal methods. Download slides from the presentation

 - Anthony Sheldon, Software Engineer

Verifiable Computing in Haskell: "Zero Knowledge Proofs"

Presentation by Anthony Sheldon

Anthony Sheldon from Adjoint will describe the theory of zero knowledge proofs and explain how to encode the operations of a simple embedded DSL to a single cryptographically-checkable polynomial test, and then prove there is correct execution for given inputs and outputs without revealing private data. Anthony will discuss the blockchain applicati…

 - Thomas Dietert, Software Engineer

Introduction to Cryptocurrencies in Haskell

Boston Haskell Presentation by Thomas Dietert

Thomas Dietert gives an overview of various topics underlying cryptocurrencies and demonstrates his personal cryptocurrency, nanocoin, written in Haskell.

 - Stephen Diehl, CTO

Modern Cryptography with Haskell

HSR Presentation by Stephen Diehl

HSR Hochschule für Technik Rapperswil Stephen Diehl gave his keynote on elliptic curve crypto in Haskell. This talk had a crash course on a bit of abstract algebra/elliptic curves, and the rest of the talk was on using Haskell to establish trust between two parties using commitment schemes, zero knowledge proofs, verifiable computation, etc. …