Pascal Y. Lasnier

According to our database, Pascal Y. Lasnier authored at least 2 papers in 2026.

Collaborative distances:

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

2026

A One-Pass CPS Transform with Simulation on the Nose.

Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen

Proceedings of the Practical Aspects of Declarative Languages, 2026

Brack: A Verified Compiler for Scheme via CakeML.

Pascal Y. Lasnier, Jeremy Yallop, Magnus O. Myreen

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026