Daniel Sainati

Orcid: 0009-0003-4738-8524

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Typing Strictness.
Proc. ACM Program. Lang., 2026

2025
The Search for Constrained Random Generators.
CoRR, November, 2025

Modular GPU Programming with Typed Perspectives.
CoRR, November, 2025

Typing Strictness (Extended Version).
CoRR, October, 2025

Artifact associated with "Typing Strictness".
Dataset, October, 2025

2018
LambdaLab: an interactive λ-calculus reducer for learning.
Proceedings of the SPLASH-E '18, 2018


  Loading...