Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bastiaan Heeren
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2024 profile
ICSE 2024 profile
POPL 2023 profile
SPLASH 2022 profile
Not registered as user
Name:
Bastiaan Heeren
Country:
Netherlands
Affiliation:
Open Universiteit
Contributions
2024
ICFP
Author of Example-Based Reasoning About the Realizability of Polymorphic Programs within the Artifact Evaluation-track
Author of Example-Based Reasoning about the Realizability of Polymorphic Programs within the ICFP Papers and Events-track
ICSE
Committee Member in Joint Track on Software Engineering Education and Training within the Software Engineering Education and Training-track
2023
Symposium on Practical Aspects of Declarative Languages
Author of Program Synthesis Using Example Propagation within the PADL 2023-track
2022
HATRA
Author of Program Synthesis Using Example Propagation within the Human Aspects of Types and Reasoning Assistants-track
2020
Haskell
Author of Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality within the Haskell 2020-track
Share
x
Sat 21 Dec 17:14