Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

Bibliografiske detaljer
Hovedforfatter:	Robert Harper
Format:	Electronisk eBog
Sprog:	English
Udgivet:	Cambridge University Press, 02/05/2013
Udgivelse:	1
Fag:	Programming Languages and Applied Logic Electronic books
Online adgang:	Full text available on Cambridge University Press Off-campus access

Lignende værker

Programming with Higher-Order Logic
af: Dale Miller, Gopalan Nadathur
Udgivet: (2012)

Nominal Sets
af: Andrew M. Pitts
Udgivet: (2013)

Pearls of Functional Algorithm Design
af: Richard Bird
Udgivet: (2013)

Transitions and Trees
af: Hans Hüttel
Udgivet: (2012)

An Introduction to Category Theory
af: Harold Simmons
Udgivet: (2012)

Systematic Program Design
af: Yanhong Annie Liu
Udgivet: (2013)

Programming in Visual Basic 2010
af: Jim McKeown
Udgivet: (2012)

Modeling in Event-B
af: Jean-Raymond Abrial
Udgivet: (2013)

Steps in Scala
af: Christos K. K. Loverdos, Apostolos Syropoulos
Udgivet: (2012)

Introduction to Bisimulation and Coinduction
af: Davide Sangiorgi
Udgivet: (2012)

Web Data Management
af: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Udgivet: (2012)

Programming logic and design : comprehensive /
af: Farrell, Joyce
Udgivet: (2011)

Natural language understanding /
af: Allen, James, 1950-
Udgivet: (1995)

Natural language understanding /
af: Allen, James, 1950-
Udgivet: (1995)

The logic of language
af: Seuren, Pieter A. M.

Kurt Gödel and the Foundations of Mathematics
af: Edited by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Udgivet: (2011)

Logic, language, and meaning /
af: Gamut, L. T. F.
Udgivet: (1991)

Writing Essays in English Language and Linguistics
af: Neil Murray
Udgivet: (2012)

Anthropology in practice : building a career outside the academy /
af: Nolan, Riall W.
Udgivet: (2003)

The Oxford handbook of practical ethics /
Udgivet: (2003)

Ethics in practice : an anthology /
Udgivet: (2002)

Individual freedom in language teaching : helping learners to develop a dialect of their own /
af: Brumfit, Christopher
Udgivet: (2001)

Programming languages : paradigm and practice /
af: Appleby, Doris
Udgivet: (1997)

An Introduction to Gödel's Theorems
af: Peter Smith
Udgivet: (2013)

Basics of logic /
af: Barker, Stephen Francis
Udgivet: (1986)

Concepts of programming languages /
af: Sebesta, Robert W.
Udgivet: (2008)

Our logic for discussion and persuasion /
af: Ha, Byunghak
Udgivet: (2000)

Development tasks and education /
af: Havighurst, Robert James
Udgivet: (1972)

Logic Journal of the IGPL

Trust, Computing, and Society
af: Edited by Richard H. R. Harper
Udgivet: (2014)

Programming languages : design and implementation /
af: Pratt, Terrence W.
Udgivet: (2006)

Programming languages : design and implementation /
af: Pratt, Terrence W.
Udgivet: (1996)

Programming languages : concepts and constructs /
af: Sethi, Ravi
Udgivet: (2007)

Digital designing with programmable logic devices /
af: Carter, John W., 1951-
Udgivet: (1997)

Programming language pragmatics /
af: Scott, Michael Lee, 1959-
Udgivet: (2000)

The C++ programming language /
af: Stroustrup, Bjarne
Udgivet: (1997)

Programming language concepts /
af: Ghezzi, Carlo
Udgivet: (2004)

The C# programming language /
Udgivet: (2010)

The C++ programming language /
af: Stroustrup, Bjarne
Udgivet: (2000)

The C programming language /
af: Kernighan, Brian W.
Udgivet: (1988)