• Sign in
  • Sign up
conf.researchr.org / Witold Charatonik
  • APLAS 2020 profile
  • ICFP 2017 profile
  • ICFP 2022 profile
No Photo

Not registered as user

Name:Witold Charatonik

Contributions

2022

ICFP

  • Author of A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine within the ICFP Papers and Events-track

2020

APLAS

  • Author of An Abstract Machine for Strong Call by Value within the Research Papers-track

2017

FSCD

  • Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track
Share
xSun 11 May 23:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up