1
Publicado 2008
Tabla de Contenidos: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Enlace del recurso
Electrónico eBook
3
Publicado 2006
Tabla de Contenidos: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Enlace del recurso
Electrónico eBook
4
Publicado 2008
Tabla de Contenidos: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Enlace del recurso
Electrónico eBook
5
Publicado 2013
Tabla de Contenidos: ... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...
Enlace del recurso
Electrónico eBook