APA (7th ed.) Citation
(2026). Polymorphism Meets DHOL. ArXiv cs.LO Recent Papers.
Chicago Style (17th ed.) Citation
"Polymorphism Meets DHOL." ArXiv Cs.LO Recent Papers 2026.
MLA (9th ed.) Citation
"Polymorphism Meets DHOL." ArXiv Cs.LO Recent Papers, 2026.
Warning: These citations may not always be 100% accurate.