Ergebnisse für: dependent object types

Hier findest Du Bücher, die sich mit dependent object types beschäftigen.

A List of Successes That Can Change the World

Springer International Publishing
53.49 € · Paperback

functional languages lambda calculus parametricity programming language design type systems dependent object types formal semantics functional programming Haskell Java linear logic monadic second order logic multiparty session types non-deterministic programs programming languages

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the area...

A List of Successes That Can Change the World

Springer International Publishing
53.49 € · eBook

Array
(
    [endpoint] => /products?search=dependent+object+types&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.00486
    [connect_time] => 0.521478
    [responseLength] => 4588
)