Search Results - "ATKEY, ROBERT"

A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.

Authors: ALLAIS, GUILLAUME ATKEY, ROBERT CHAPMAN, JAMES et al.

Source: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-55. 55p.

Effect handlers via generalised continuations.

Authors: HILLERSTRÖM, DANIEL LINDLEY, SAM ATKEY, ROBERT

Source: Journal of Functional Programming. 2020, Vol. 30, p1-69. 69p.

Secret Service : Political Policing in Canada From the Fenians to Fortress America

Authors: Reg Whitaker Gregory S. Kealey Andrew Parnaby

Resource Type: eBook.

Subjects: Secret service--Canada--History, Intelligence service--Canada--History, Police--Political aspects--Canada--History

Categories: POLITICAL SCIENCE / Law Enforcement, POLITICAL SCIENCE / Political Freedom, POLITICAL SCIENCE / Intelligence & Espionage