The role of type equality in meta-programming

Authors: Pasalic, Emir.

Source: Full text open access at.

Subject Terms: Logic programming. Type theory. Computer programming. Programming languages (Electronic computers)

Availability: http://content.ohsu.edu/u?/etd,216

Least-cost syntactic error repair using extended right context

Authors: Mauney, John.

Subject Terms: Error-correcting codes (Information theory) Computer programming. Programming languages (Electronic computers)

Availability: http://catalog.hathitrust.org/api/volumes/oclc/9517004.html

Automatic programming for digital computers

Authors: Sanderson, John G.

Source: Title page, contents and introduction only.

Subject Terms: Computer programming. Programming languages (Electronic computers)

Availability: http://web4.library.adelaide.edu.au/theses/09SM/09sms21.pdf

Programming for humans : a new paradigm for domain-specific languages

Authors: Message, Robin Henry

URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608120

Anyone Can Code : The Art and Science of Logical Creativity

Authors: Ali Arya

Resource Type: eBook.

Subjects: Logic, Computer programming, Programming languages (Electronic computers), Coding theory

Categories: COMPUTERS / Programming / Object Oriented, COMPUTERS / Languages / C, COMPUTERS / Languages / Python

Programming Languages: Concepts and Implementation

Authors: Saverio Perugini

Resource Type: eBook.

Subjects: Computer programming, Programming languages (Electronic computers)

Categories: COMPUTERS / Computer Science, COMPUTERS / Languages / General