✦ LIBER ✦

Type inference in Prolog: a new approach

✍ Scribed by M.-M. Corsini; K. Musumbu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type Inference for Mobile Ambients in Pr

✍ Elio Giovannetti 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 265 KB

A new approach to inference in approxima

✍ Asghar Nafarieh; James M. Keller 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 931 KB

A new approach to robust inference in co

✍ Sainan Jin; Peter C.B. Phillips; Yixiao Sun 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 129 KB

A practical approach to type inference f

✍ Kind, Andreas ;Friedrich, Horst 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 795 KB

A New Approach To Inference From Acceler

✍ Proschan, Frank; Singpurwalla, Nozer D. 📂 Article 📅 1980 🏛 IEEE 🌐 English ⚖ 838 KB

A new approach to inferring the mass com

✍ M. Ave; J.A. Hinton; R.A. Vázquez; A.A. Watson; E. Zas 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 458 KB