Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

ICFP’10 Proceedings of the 2010 ACM SIGPLAN International...

ICFP’10 Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming

Stephanie Weirich ICFP’10 Program Chair
0 / 0
0 comments
Որքա՞ն է ձեզ դուր եկել այս գիրքը:
Ինչպիսի՞ն է բեռնված ֆայլի որակը:
Բեռնեք գիրքը` գնահատելու դրա որակը
Ինչպիսի՞ն է բեռնված ֆայլերի որակը:
Կատեգորիաներ:
Computers - Programming
Հրատարակչություն:
ACM''
Լեզու:
english
Էջեր:
392
ISBN 10:
160558794X
ISBN 13:
9781605587943
Ֆայլ:
PDF, 10.63 MB
IPFS:
CID , CID Blake2b
english0
Կարդալ Առցանց
  • pdf 10.63 MB Current page
  • Checking other formats...
    • Unlock conversion of files larger than 8 MBPremium
    Փոխարկումը դեպի կատարվում է
    Փոխարկումը դեպի ձախողվել է

    Հիմնական արտահայտություններ

     
    function
    programming
    figure
    functions
    variables
    programs
    values
    implementation
    context
    syntax
    haskell
    linear
    define
    acm
    typed
    abstract
    argument
    array
    defined
    logical
    approach
    analysis
    bool
    systems
    map
    operations
    typing
    stack
    graph
    recursive
    matching
    memory
    heap
    theorem
    τ1
    consider
    prove
    τ2
    arguments
    computation
    false
    standard
    lists
    reduction
    update
    parallel
    related
    examples
    error
    input
    abstraction
    algorithm
    proofs
    version
    predicate
    env
    step
    check
    continuation
    propositions

    Առնչվող հավաքածուներ