Daniel Sainati

Orcid: 0009-0003-4738-8524

According to our database¹, Daniel Sainati authored at least 6 papers between 2018 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Typing Strictness.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2026

2025

The Search for Constrained Random Generators.

[BibT_eX]

[DOI]

Leonidas Lampropoulos

Benjamin C. Pierce

CoRR, November, 2025

Modular GPU Programming with Typed Perspectives.

[BibT_eX]

[DOI]

Jonathan Ragan-Kelley

CoRR, November, 2025

Typing Strictness (Extended Version).

[BibT_eX]

[DOI]

CoRR, October, 2025

Artifact associated with "Typing Strictness".

[BibT_eX]

[DOI]

Dataset, October, 2025

2018

LambdaLab: an interactive λ-calculus reducer for learning.

[BibT_eX]

[DOI]

Daniel Sainati

Adrian Sampson

Proceedings of the SPLASH-E '18, 2018

Daniel Sainati

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...