scientific article; zbMATH DE number 1942464

zbMATH Open1019.68518MaRDI QIDQ4409166FDOQ4409166

Authors: Jan-Georg Smaus 

Publication date: 30 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2441/24410259.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1692902
• Horn clause programs with polymorphic types: Semantics and resolution
• Logic programs with polymorphic types: A condition for static type checking
• scientific article; zbMATH DE number 1950451
• A polymorphic type system for Prolog

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Cited In (2)

• Title not available (Why is that?)
• Extra heads and invariant allocations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4409166)