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á...

Fuld beskrivelse

Guardado en:
Bibliografiske detaljer
Institution som forfatter: International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Andre forfattere: Codish, Michael (edición) (edición), Sumii, Eijiro (edición) (edición)
Format: Procedimiento de la conferencia Bog
Sprog:engelsk
Udgivet: Cham, Suiza : Springer, 2014, c2014
Serier:(Lecture Notes in Computer Science ; 8475)
Fag:
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker: Functional and Logic Programming :