|
|
|
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python / Therese Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge.
by Hardin, Therese | Jaume, Mathieu | Pessaux, François | Donzeau-Gouge, Véronique. Material type:  Book; Format:
available online
 ; Literary form:
Not fiction
Publisher: London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2021Online access: Wiley Online Library Availability: No items available
|
|
|
|
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / Thérèse Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge.
by Hardin, Thérèse [author.] | Jaume, Mathieu [author.] | Pessaux, Francois [author.] | Donzeau-Gouge, Véronique [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: London : Hoboken, NJ : ISTE Ltd. ; Wiley, 2021Online access: Wiley Online Library Availability: No items available
|
|
|
|
Domain-theoretic foundations of functional programming [electronic resource] / Thomas Streicher.
by Streicher, Thomas, 1958-. Material type:  Computer file; Format:
electronic
available online
Publisher: Singapore : World Scientific Publishing Co. Pte Ltd., ©2006Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
|
Generating language-based environments / Thomas W. Reps.
by Reps, Thomas W., (Thomas William) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1984Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Dissertation note: Originally presented as the author's thesis (Ph. D.)--Cornell University, 1983. Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Algebraic semantics of imperative programs / Joseph A. Goguen and Grant Malcolm.
by Goguen, Joseph [author.] | Malcolm, Grant | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
The formal semantics of programming languages : an introduction / Glynn Winskel.
by Winskel, G., (Glynn) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
|
