Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lennart Augustsson
conf.researchr.org general profile
FLOPS 2024 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
POPL 2021 profile
POPL 2024 profile
SPLASH 2024 profile
Registered user since Mon 18 Jan 2021
Name:
Lennart Augustsson
Affiliation:
Epic Games
Contributions
2024
SPLASH
Author of Verse - a new functional logic language within the REBASE-track
Haskell
Author of MicroHs - A Small Compiler for Haskell within the Haskell 2024-track
FLOPS
Keynote Speaker of Verse: A New Functional Logic Language within the FLOPS 2024-track
Session Chair of Algebra (part of FLOPS 2024)
WITS
Committee Member in Program Committee within the WITS 2024-track
2023
HIW
Author of MicroHaskell (Lightning Talk) within the HIW 2023-track
ICFP
Session Chair of Data representation (part of ICFP Papers and Events)
Author of The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming within the ICFP Papers and Events-track
Committee Member in Program Committee within the ICFP Papers and Events-track
2022
Haskell
Committee Member in Program Committee within the Haskell 2022-track
2021
POPL
Organizer of Games Programming Languages BoF Session within the POPL Meetups-track
PEPM
Committee Member in Program Committee within the PEPM 2021-track
2019
Haskell
Keynote Speaker of Haskell Use and Abuse at Scale within the Haskell 2019-track
HIW
Author of Haskell Use and Abuse at Scale within the HIW 2019-track
2018
FHPNC
Programme Committee in Program Committee within the FHPC 2018-track
2017
Haskell
Committee Member in Program Committee within the Haskell 2017-track
2016
Haskell
Author of Experience Report: Types for a Relational Algebra Library within the Haskell-track
Share
x
Sat 21 Dec 19:15
