Programming Languages And Operational Semantics
Lazy Functional Languages: Abstract Interpretation and Compilation eBooks & eLearning
Posted by alt_f4 at Aug. 11, 2016
Lazy Functional Languages: Abstract Interpretation and Compilation (Research Monographs in Parallel & Distributed Computing) by Geoffrey Burn
English | Mar. 1991 | ISBN: 0273088327 | 245 Pages | PDF | 10 MB
English | Mar. 1991 | ISBN: 0273088327 | 245 Pages | PDF | 10 MB
The class of programming languages commonly known as functional includes Lisp, Scheme, ML, and Miranda TM.
The Parametric Lambda Calculus: A Metamodel for Computation eBooks & eLearning
Posted by AvaxGenius at Feb. 8, 2020
The Parametric Lambda Calculus: A Metamodel for Computation by Simona Ronchi Della Rocca
English | PDF | 2004 | 254 Pages | ISBN : 3540200320 | 19.29 MB
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways.
The Parametric Lambda Calculus: A Metamodel for Computation eBooks & eLearning
Posted by insetes at Dec. 23, 2024
The Parametric Lambda Calculus: A Metamodel for Computation By Simona Ronchi Della Rocca, Luca Paolini
2004 | 253 Pages | ISBN: 3642057462 | PDF | 5 MB
2004 | 253 Pages | ISBN: 3642057462 | PDF | 5 MB
Axiomatic Domain Theory in Categories of Partial Maps eBooks & eLearning
Posted by DZ123 at Jan. 8, 2017
Marcelo P. Fiore, "Axiomatic Domain Theory in Categories of Partial Maps"
English | 2004 | ISBN: 0521602777 | DJVU | pages: 251 | 1.2 mb
English | 2004 | ISBN: 0521602777 | DJVU | pages: 251 | 1.2 mb
Nominal Sets: Names and Symmetry in Computer Science eBooks & eLearning
Posted by arundhati at April 6, 2014
Andrew M. Pitts, "Nominal Sets: Names and Symmetry in Computer Science"
2013 | ISBN-10: 0521607248 | 287 pages | PDF | 1,5 MB
2013 | ISBN-10: 0521607248 | 287 pages | PDF | 1,5 MB
Mathematical Logic: Foundations for Information Science (Repost) eBooks & eLearning
Posted by step778 at Feb. 28, 2020
Wei Li, "Mathematical Logic: Foundations for Information Science"
English | 2014 | pages: 303 | ISBN: 3034808615 | PDF | 10,1 mb
English | 2014 | pages: 303 | ISBN: 3034808615 | PDF | 10,1 mb