Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453

First Page		Document Content
Date: 2002-02-04 10:59:46 Applied mathematics Mathematics Denotational semantics Semantics of programming languages Operational semantics Axiomatic semantics Semantics Type safety Programming language Theoretical computer science Logic in computer science Programming language semantics		Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453 Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 776,54 KB Share Document on Facebook

	Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop DocID: 1xVW1 - View Document
	C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature DocID: 1xVT7 - View Document
	POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin DocID: 1xUAI - View Document
	Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling Samuel Z Guyer DocID: 1xUyT - View Document
	tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1. DocID: 1xUqQ - View Document