Typed Norms for Typed Logic Programs

Part of book or chapter of book English OPEN
Martin, Jon; King, Andy;

As typed logic programming becomes more mainstream, system building tools like partial deduction systems will need to be mapped from untyped languages to typed ones. It is important, however, when mapping techniques across that the new techniques should exploit the type... View more
Share - Bookmark