Ergebnisse für: Dependently-Typed Programming

Hier findest Du Bücher, die sich mit Dependently-Typed Programming beschäftigen.

Buch Cover Trends in Functional Programming

Springer International Publishing
42.8 € · Paperback

Artificial Life Clean Compilers Concurrency Datatype Generic Programming Dependently-Typed Programming Distributed Heaps Domain-Specific Languages Effects Functional Programming Generic Programming Genetic Programming Haskell Matrix Operations Programming Languages

This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submission...

Trends in Functional Programming

Springer International Publishing
42.79 € · eBook

Array
(
    [endpoint] => /products?search=Dependently-Typed+Programming&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001306
    [connect_time] => 0.519784
    [responseLength] => 4327
)