Jordan Ischard

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Functional Reactive Programming with Effects, A More Permissive Approach.

Frédéric Dabrowski, Jordan Ischard

CoRR, March, 2025

A Mechanized Formalization of an FRP Language with Effects.

Jordan Ischard, Frédéric Dabrowski, Jules Chouquet, Frédéric Loulergue

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

2024

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

Frédéric Loulergue, Jordan Ischard

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