टाइप थ्योरी और करी-हावर्ड आइसोमोर्फिज्म: प्रस्ताव = प्रकार, प्रमाण = प्रोग्राम का गहरा सामंजस्य
Tags
3 पेज
Functional-Programming
हास्केल और शुद्ध कार्यात्मक भाषाओं का दर्शन: मोनैड की दुनिया और इसकी गहराई
डिज़ाइन पैटर्न पर पुनर्विचार: क्या GoF पुराने हो गए हैं? आधुनिक सर्वोत्तम प्रथाएँ
