• Sign in
  • Sign up
conf.researchr.org / Lars-Åke Fredlund
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • POPL 2025 profile
No Photo

Not registered as user

Name:Lars-Åke Fredlund
Country:Spain
Affiliation:Universidad Politécnica de Madrid

Contributions

2025

Symposium on Practical Aspects of Declarative Languages

  • Author of Checking Concurrency Coding Rules within the PADL 2025-track

2024

Erlang

  • Author of Controlled Scheduling of Concurrent Elixir Programs within the Erlang-track

2023

Erlang

  • Author of Generation and Refinement of Testing Models within the Erlang 2023-track

2022

Erlang

  • PC Member in Program Committee within the Erlang 2022-track
  • Author of Executable Contracts for Elixir within the Erlang 2022-track

2021

Erlang

  • Author of Makina: A New QuickCheck State Machine Library within the Erlang 2021-track
Share
xMon 12 May 10:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up