प्रकार और प्रोग्रामिंग भाषाएँ
A

प्रकार और प्रोग्रामिंग भाषाएँ

सामान्य
type theory programming languages lambda calculus subtyping polymorphism type systems formal semantics
लेखक
Benjamin C. Pierce
प्रकाशक
The MIT Press
वर्ष
2002
भाषा
अंग्रेज़ी
94
इस पुस्तक को रेट करें

पुस्तक पढ़ने के लिए, लॉग इन करें / पंजीकरण करें

अंश का पूर्वावलोकन

समान पुस्तकें

प्रकार और प्रोग्रामिंग भाषाओं में उन्नत विषय

प्रकार और प्रोग्रामिंग भाषाओं में उन्नत विषय

Benjamin C. Pierce (editor)

प्रोग्रामिंग भाषा व्यावहारिकता, पाँचवाँ संस्करण

प्रोग्रामिंग भाषा व्यावहारिकता, पाँचवाँ संस्करण

Michael L. Scott, Jonathan Aldrich

C++ प्रोग्रामिंग भाषा

C++ प्रोग्रामिंग भाषा

Bjarne Stroustrup

Rust प्रोग्रामिंग भाषा: सिंटैक्स, प्रकार और मूल अवधारणाओं की व्यापक मार्गदर्शिका

Rust प्रोग्रामिंग भाषा: सिंटैक्स, प्रकार और मूल अवधारणाओं की व्यापक मार्गदर्शिका

प्रदान की गई सामग्री में निर्दिष्ट नहीं है।

ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग के सिद्धांत

ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग के सिद्धांत

कोई निर्दिष्ट नहीं किया गया

कंप्यूटर सिस्टम: एक प्रोग्रामर का परिप्रेक्ष्य, तीसरा वैश्विक संस्करण

कंप्यूटर सिस्टम: एक प्रोग्रामर का परिप्रेक्ष्य, तीसरा वैश्विक संस्करण

Randal E. Bryant, David R. O'Hallaron

प्रोग्रामिंग भाषाएँ: अवधारणाएँ और कार्यान्वयन

प्रोग्रामिंग भाषाएँ: अवधारणाएँ और कार्यान्वयन

Saverio Perugini

गो प्रोग्रामिंग भाषा विनिर्देश

गो प्रोग्रामिंग भाषा विनिर्देश

ओलिवर स्टोन

एल्गोरिदम और डेटा संरचनाएँ

एल्गोरिदम और डेटा संरचनाएँ

Niklaus Wirth

अवधारणाएँ और शब्दावली: प्रोग्रामिंग अवधारणाएँ और शब्दावली

अवधारणाएँ और शब्दावली: प्रोग्रामिंग अवधारणाएँ और शब्दावली

लेखक अज्ञात है