HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema

First Page		Document Content
Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering		HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Download Document from Source Website File Size: 411,81 KB Share Document on Facebook

	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
	Delft University of Technology Software Engineering Research Group Technical Report Series Exception Handling Bug Hazards in Android: Results from a Mining Study DocID: 1sSzf - View Document
	WG14 N1841 - Alternate Exception Handling Syntax for C Notes for TSPart 5 Supplementary attributes What syntax should be used to express IEEEalternate exception handling in C? The C Floating Point group DocID: 1spkG - View Document
	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley DocID: 1rtHp - View Document