Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /

Selección de ponencias del décimo segundo Simposio Internacional sobre Programación Lógica y Funcional, celebrado en Kanazawa, Japón, en junio de 2014. Se incluyen los siguientes textos: Generación de datos aleatorios restringidos con distribución uniforme; Depuración guiada de tipos; Uso de la semá...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Další autoři: Codish, Michael (edición) (edición), Sumii, Eijiro (edición) (edición)
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Cham, Suiza : Springer, 2014, c2014
Edice:(Lecture Notes in Computer Science ; 8475)
Témata:
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet

Ver documento en línea
Informace o exemplářích z: IT2
Signatura:
Libro en línea
Ejemplar 556861-1
Disponible
Préstamo en línea
Sbírka:
Libros electrónicos en línea
Poznámky:
Consultar en línea