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

Descrizione completa

Salvato in:
Dettagli Bibliografici
Ente Autore: International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Altri autori: Codish, Michael (edición) (edición), Sumii, Eijiro (edición) (edición)
Natura: Atti del Convegno Libro
Lingua:inglese
Pubblicazione: Cham, Suiza : Springer, 2014, c2014
Serie:(Lecture Notes in Computer Science ; 8475)
Soggetti:
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

Ver documento en línea
Dettagli sul posseduto da IT2
Collocazione:
Libro en línea
Ejemplar 556861-1
Disponible
Préstamo en línea
Collezione:
Libros electrónicos en línea
Note:
Consultar en línea