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

Cijeli opis

Spremljeno u:
Bibliografski detalji
Autor kompanije: International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Daljnji autori: Codish, Michael (edición), Sumii, Eijiro (edición)
Format: Izvještaj sastanka Knjiga
Jezik:engleski
Izdano: Cham, Suiza : Springer, 2014, c2014
Serija:(Lecture Notes in Computer Science ; 8475)
Teme:
Online pristup:Ver documento en línea
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

Internet

Ver documento en línea
Detalji primjeraka od IT2
Signatura:
Libro en línea
Ejemplar 556861-1
Disponible
Préstamo en línea
Zbirka:
Libros electrónicos en línea
Bilješke:
Consultar en línea