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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor corporativo: International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Otros autores: Codish, Michael (edición), Sumii, Eijiro (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:Inglés
Publicado: Cham, Suiza : Springer, 2014, c2014
Colección:(Lecture Notes in Computer Science ; 8475)
Temas:
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!