Dissemin is shutting down on January 1st, 2025
Dissemin
Language
العربيّة
Deutsch
English
Español
Suomi
Français
한국어
Македонски
Português
Português Brasileiro
Русский
Svenska
Türkçe
简体中文
繁體中文
Login
Dissemin
Nathanaëlle Courant
Scherer and Courant, 2022
Links
ORCID
Tools
Export citation
×
Format
BibTeX
@inproceedings{Scherer2022, author = {Scherer, Gabriel and Courant, Nathanaëlle}, month = {sep}, title = {An OCaml use case for strong call-by-need reduction}, year = {2022} }
Export citation
Search in Google Scholar
An OCaml use case for strong call-by-need reduction
Proceedings article published in 2022 by
Gabriel Scherer
,
Nathanaëlle Courant
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
Full text:
Unavailable
Preprint
: policy unknown
Upload
Postprint
: policy unknown
Upload
Published version
: policy unknown
Upload