"V→M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Constructions of Strict Lyapunov Functions	Michael Malisoff; Frédéric Mazenc	2009	Springer London
Java virtual machine	Jon Meyer	1997	O'Reilly
Programming for the Java virtual machine	Joshua Engel	1999	Addison-Wesley
vSphere Virtual Machine Management	Rebecca Fitzhugh	Mar 21, 2014	Packt Publishing
Computer evaluation of mathematical functions	Fike C.T.	1968	PH
Computer evaluation of mathematical functions	C. T. Fike	1968	Prentice-Hall
Computer evaluation of mathematical functions	C. T. Fike	1968	Prentice-Hall
Numerical methods for evaluation of the integrals for virtual height.		1950	Courant Institute of Mathematical Sciences, New York University
Inside The Python Virtual Machine	Obi Ike-Nwosu	2018
The Java Virtual Machine Specification	Tim Lindholm, Frank Yellin	1996	Addison-Wesley
Inside the Java virtual machine	Bill Venners	1998	McGraw-Hill
Virtual machine communication for the implementation of decision support systems	John J. Donovan	1976	M.I.T. Center for Information Systems Research
Computer-hardware evaluation of mathematical functions	Amos R. Omondi	2015	Imperial College Press
An analysis of algorithms for hardware evaluation of elementary functions	Richard H. Franke	1973	Naval Postgraduate School
Page Modification Logging for Virtual Machine Monitor White Paper	coll.	2015	Intel Corporation
A general method for evaluation of functions and computations in a digital computer	Milos Dragutin Ercegovac	1975	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Mastering Virtual Machine Manager 2008 R2	Michael Michael	2009	John Wiley & Sons
Java and the Java Virtual Machine			Springer
Fortran subroutines for the evaluation of the confluent hypergeometric functions	William B. Gragg	1989	Naval Postgraduate School;Available from National Technical Information Service
Virtual ChemLab for Organic Chemistry v. 2. 2	Brian F. Woodfield; Merritt B. Andrus	August 26, 2003	Prentice Hall
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
V→M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions	Baltasar Trancón y Widemann	Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers	Clemens Grelck; Frank Huch; Greg Michaelson; Phil Trinder	2005	Springer Berlin Heidelberg
Strict Machine		Romantic Sustainability: Endurance and the Natural World, 1780–1830	Ben P. Robertson (editor)	2015	Lexington Books
Strict machine		Wonderful electric: live in London.	Goldfrapp (Musical group)	2004.	Mute,
Implementing Virtual Machine: A Performance Evaluation	Hazalila Kamaludin; Muhamad Yusmaleef Jamal; Nurul Hidayah Ab Rahman; Noor Zuraidin Mohd Safar; Suhaimi Abd Ishak	Recent Advances on Soft Computing and Data Mining: Proceedings of the Fourth International Conference on Soft Computing and Data Mining (SCDM 2020), Melaka, Malaysia, January 22–⁠23, 2020	Rozaida Ghazali; Nazri Mohd Nawi; Mustafa Mat Deris; Jemal H. Abawajy	1st ed. 2020	Springer International Publishing
Secd-m: a virtual machine for applicative programming	S. Abramsky; R. Sykes	Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985	Jean-Pierre Jouannaud	1985	Springer Berlin Heidelberg
Strict Evaluation		Becoming Functional: Steps for Transforming into a Functional Programmer	Joshua Backfield	2014	O'Reilly Media
A Virtual Machine for Guile		Guile reference manual	The guile developers
From Corecursive Algebras to Corecursive Monads	Jiří Adámek; Mahdieh Haddadi; Stefan Milius	Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings	Andrea Corradini; Bartek Klin; Corina Cîrstea	2011	Springer Berlin Heidelberg
A Virtual Machine		Learning Java - An Introduction to Real-World Programming with Java	Daniel Leuck, Patrick Niemeyer, Marc Loy	2020	O'Reilly
A Virtual Machine		Learning Java: An Introduction to Real-World Programming with Java	Marc Loy, Patrick Niemeyer, Daniel Leuck	2020	O'Reilly
A Virtual Machine		Crafting Interpreters	Robert Nystrom	2021	craftinginterpreters.com
Making a Virtual Machine a Clustered Virtual Machine		Mastering Windows Server 2016 Hyper-V	John Savill	2016	John Wiley & Sons
Hyper-V Virtual Machine Generation		Practical Guide to PKI with Windows Server	Matthew Burr	2021	Independently published
Hyper-V Virtual Machine Creation		Practical Guide to PKI with Windows Server	Matthew Burr	2021	Independently published
Hyper-V Virtual Machine Connection		Practical Guide to PKI with Windows Server	Matthew Burr	2021	Independently published
Hyper-V Virtual Machine Configurations		Mastering Windows Server 2016	Brian Svidergol; Vladimir Meloski; John McCabe; Santos Martinez; Doug Bassett	2018	Sybex
51 Strict and non-strict functions		Functional Programming in MEAP	Marco Vermeulen
51 Strict and non-strict functions		Functional Programming in Kotlin	Marco Vermeulen, Rúnar Bjarnason, Paul Chiusano	2021	Manning Publications
Files of a Virtual Machine		VMware VI and vSphere SDK: Managing the VMware Infrastructure and vSphere	Steve Jin	2009	Prentice Hall
Anatomy of a Virtual Machine		Maximum vSphere: tips, how-tos, and best practices for working with VMware vSphere 4	Siebert, Eric; Seagrave, Simon	2010;2011	Prentice Hall
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"V→M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions" - similar Books and Chapters