Tweag.io
Tweag.io
Founded in 2013, Tweag I/O has become an established research & development lab at the heart of Europe with a single mission in mind: to build fast, correct and maintainable software solutions with its clients. We bring together experts in distributed systems, compilers and formal methods to build scalable designs at the lowest complexity budget.
-
Essential Techniques for Leading Software Teams in the Work From Home Era
Featuring Robin Bate Boerop
Is your software team headed the wrong way? Is it inefficient? Changing that will require leadership. You don't need to be the boss to lead, but you do need to know how. Leadership best practices have changed in the work-from-home era. This talk gives the new essential techniques.
leadership remote-work -
Intro to OCaml
Featuring Richard Bonichon
OCaml is a modern pragmatic functional programming language of the ML family, that also supports imperative or object-oriented paradigms.
code pragmatic-programming functional-programming object-oriented imperative ocaml -
The Secrets of the GHC Garbage Collector
Featuring Cheng Shao
Garbage collectors are an important component in today's language runtimes which liberate developers from the need to track allocations of small objects.
haskell garbage-collector ghc -
Keynote: Dependent Types in Haskell
Featuring Stephanie Weirich
What has dependent type theory done for Haskell? Over the past decade, the Glasgow Haskell compiler (GHC) has adopted many type system features inspired by dependent type theory.
keynote ghc dependent-type-theory types functional-programming haskellx haskell -
2
GRIN - an Alternative Haskell Compiler Backend
Featuring Andor Penzes and Csaba Hruska
The GRIN language is an intermediate representation for lazy programming languages such as Haskell. It serves the same role as STG (in GHC compilation pipeline) but follows different design decisions. GRIN describes suspended computations as regular data structure using whole program...
machine-code abstract-interpretation whole-program-optimisation llvm haskell optimisation compiler -
Workshop: Build a RESTful Room-Booking Server Using Servant and Aeson
Featuring Ben Clifford
Many, many services on the internet provide APIs that are RESTful. They use HTTP and JSON, widely supported technologies, to give a standard way of accessing whatever each service provides - from uploading adverts on Facebook to plugging a bot into a Slack channel.
aeson servant hands-on rest haskell -
Workshop Continued: Build a RESTful Room-Booking Server Using Servant and Aeson
Featuring Ben Clifford
Many, many services on the internet provide APIs that are RESTful. They use HTTP and JSON, widely supported technologies, to give a standard way of accessing whatever each service provides - from uploading adverts on Facebook to plugging a bot into a Slack channel.
haskell hands-on-rest servant aeson
