Search Results for - Narrowed by: Type theory.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Type$002btheory.$002509Type$002btheory.$0026ps$003d300?2024-06-02T16:39:50ZVerified functional programming in Agdaent://SD_ILS/0/SD_ILS:4274912024-06-02T16:39:50Z2024-06-02T16:39:50ZYazar Stump, Aaron., author.<br/>Abstract with links to full text <a href="http://dl.acm.org/citation.cfm?id=2841316">http://dl.acm.org/citation.cfm?id=2841316</a><br/>Format: Electronic Resources<br/>Verified functional programming in Agdaent://SD_ILS/0/SD_ILS:1869562024-06-02T16:39:50Z2024-06-02T16:39:50ZYazar Stump, Aaron., author.<br/>Abstract with links to full text <a href="http://dl.acm.org/citation.cfm?id=2841316">http://dl.acm.org/citation.cfm?id=2841316</a><br/>Format: Electronic Resources<br/>