Search Results for - Narrowed by: Type theory. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Type$002btheory.$002509Type$002btheory.$0026ps$003d300? 2024-06-02T16:39:50Z Verified functional programming in Agda ent://SD_ILS/0/SD_ILS:427491 2024-06-02T16:39:50Z 2024-06-02T16:39:50Z Yazar&#160;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:&#160;Electronic Resources<br/> Verified functional programming in Agda ent://SD_ILS/0/SD_ILS:186956 2024-06-02T16:39:50Z 2024-06-02T16:39:50Z Yazar&#160;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:&#160;Electronic Resources<br/>