Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
dangling combinator.
dangling combinator.
Ultimo aggiornamento 2020-04-20
Frequenza di utilizzo: 1
Qualità:
dropbox was founded in 2007 by drew houston and arash ferdowsi, as a y combinator startup company.
Η εταιρία dropbox, inc., ιδρύθηκε το 2007 στο san francisco από τους drew houston και arash ferdowsi, φοιτητές του mit.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
combinators and functional programming languages 1985: 136-175* u. berger, h. schwichtenberg: an inverse of the evaluation functional for typed lambda-calculus lics 1991: 203-211* jung, a.,tiuryn, j.:a new characterization of lambda definability, tlca 1993* r. loader: the undecidability of λ-definability, appeared in the church festschrift, 2001* h. barendregt, lambda calculi with types, handbook of logic in computer science, volume ii, oxford university press, 1993.
combinators and functional programming languages 1985: 136-175* u. berger, h. schwichtenberg: an inverse of the evaluation functional for typed lambda-calculus lics 1991: 203-211* jung, a.,tiuryn, j.:a new characterization of lambda definability, tlca 1993* r. loader: the undecidability of λ-definability, appeared in the church festschrift, 2001* h. barendregt, lambda calculi with types, handbook of logic in computer science, volume ii, oxford university press, 1993.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
