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