Publications
Preprint · OSF Preprints · October 18, 2017
Jolie Static Type Checker: a prototype
Manuel Mazzara, Alexander Dmitrievich Tchitchigin, Bogdan Mingela, Larisa Safina, Daniel R. Carvalho, Nikolay Troshkov
Logic, programming, and type systemsSoftware Testing and Debugging TechniquesFormal Methods in Verificationstatic type checkingprogramming language implementation
More by Manuel Mazzara
- Anchored Rank-Adversarial Fine-Tuning Pretrained Visual Place Recognition ModelsarXiv · 2026
- See the Future, Classify the Present: Stochastic Latent World Modeling for Hyperspectral ImagesarXiv · 2026
- Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation DataLecture notes in computer science · 2026 · Citations: 1
- What Counts as a Mistake? Annotating Recitation Events in Quran Memorization TranscriptsarXiv · 2026