The structure of typed programming languages - Schmidt, David A. (Cambridge, Mass. ; London : The MIT Press [i.e.] Massachusetts Institute of Technology, 1994)
programmnig lanuguage core abstraction principle qualification principle records lambda abstractions lambda calculus functional programming languages propositional-logic typing predicate-logic typing computing science computers
Str. 343-360: Bibliografija
Kazalo
Keywords: Računalni jezici; Funkcionalni jezici; Vrste računalnih jezika