Safe typing of functional logic programs with opaque patterns and local bindings

Type systems are widely used in programming languages as a powerful tool providing safety to programs. Functional logic languages have inherited Damas–Milner type system from their functional part due to its simplicity and popularity. In this paper we address a couple of aspects that can be subject...

Celý popis

Podrobná bibliografie

Vydáno v:	Information and computation Ročník 235; s. 36 - 69
Hlavní autoři:	López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.04.2014
Témata:	Functional-logic programming Let bindings Opaque patterns Type systems Functional-logic programming Type systems Opaque patterns Let bindings
ISSN:	0890-5401, 1090-2651
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!