Jordan Ischard

Orcid: 0000-0003-0505-641X

According to our database¹, Jordan Ischard authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Functional Reactive Programming with Effects, A More Permissive Approach.

[DOI]

CoRR, March, 2025

Sémantique de langages de programmation fonctionnels réactifs avec effets. (Semantics of functional reactive programming languages with effects).

[DOI]

PhD thesis, 2025

A Mechanized Formalization of an FRP Language with Effects.

[DOI]

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2024

SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs.

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024