Open AccessBook
ML for the working programmer
TLDR
In teaching the methods of functional programming, how to program in Standard ML, a functional language recently developed at Edinburgh University, the author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures.Abstract:
From the Publisher:
In teaching the methods of functional programming--in particular, how to program in Standard ML, a functional language recently developed at Edinburgh University, the author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures.read more
Citations
More filters
Book
Types and Programming Languages
TL;DR: This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.
Book
Modelling with Generalized Stochastic Petri Nets
TL;DR: This book presents a unified theory of Generalized Stochastic Petri Nets together with a set of illustrative examples from different application fields to show how this methodology can be applied in a range of domains.
Journal ArticleDOI
Collaboration Processes: Inside the Black Box
Ann Marie Thomson,James L. Perry +1 more
TL;DR: The authors argue that public managers should look inside the "black box" of collaboration processes and find a complex construct of five variable dimensions: governance, administration, organizational autonomy, mutuality, and norms.
Journal ArticleDOI
A sound type system for secure flow analysis
TL;DR: This work forms Denning’s approach as a type system and presents a notion of soundness for the system that can be viewed as a form of noninterference.
Journal ArticleDOI
The inductive approach to verifying cryptographic protocols
TL;DR: Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions, which are based on ordinary predicate calculus and copes with infinite-state systems.