Yallop - PDFSEARCH.IO - Document Search Engine

Yallop
Results: 28

#	Item
1	Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge Add to Reading List Source URL: thev.net Language: English - Date: 2016-09-29 13:08:21
2	Causal Commutative Arrows Revisited Jeremy Yallop Hai Liu University of Cambridge, UK Add to Reading List Source URL: thev.net Language: English - Date: 2016-08-08 12:30:37 Declarative programming Computer programming Functional programming Software engineering Arrow Monad Function Currying F-algebra Fold Derivative
3	Causal commutative arrows revisited Jeremy Yallop Hai Liu WadlerFest Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2016-04-26 12:54:23 Computer programming Functional programming Software engineering Monad Arrow Proof theory Computability theory CurryHoward correspondence
4	Causal Commutative Arrows Revisited Jeremy Yallop Hai Liu University of Cambridge, UK Add to Reading List Source URL: www.thev.net - Date: 2016-08-08 12:30:37
5	Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge Add to Reading List Source URL: www.thev.net - Date: 2016-09-29 13:08:21
6	OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-08-18 12:03:29 Cryptographic software Functional languages OCaml Caml Functional programming Transport Layer Security OpenSSL LibreSSL Preprocessor Ctypes Monad Language binding
7	Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-12-17 06:24:32 Software engineering Computer programming Computing C++ C Data types Object-oriented programming languages Functional languages Typedef OCaml Const Pointer
8	The Essence of Form Abstraction? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstract. Abstraction is the cornerstone of high-level programming; HTML forms ar Add to Reading List Source URL: www.ezrakilty.net Language: English - Date: 2009-06-10 11:42:35
9	What’s in a thesaurus? Adam Kilgarriff and Colin Yallop Add to Reading List Source URL: kilgarriff.co.uk Language: English - Date: 2014-03-09 16:16:05 Linguistics Computational linguistics Lexical semantics Thesauri Semantics Knowledge representation WordNet Word-sense disambiguation Word sense Hyponymy and hypernymy Synonym Lexical database
10	Links: Web Programming Without Tiers? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop University of Edinburgh Abstract. Links is a programming language for web applications that generates code for all three ti Add to Reading List Source URL: www.ezrakilty.net Language: English - Date: 2009-06-10 11:43:08

UPDATE