Μ operator

Results: 274



#Item
1Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK   Session types model structured communication-based programming. In particular, binary

Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary

Add to Reading List

Source URL: www.dcs.gla.ac.uk

Language: English - Date: 2014-07-25 10:12:01
2A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh   Abstract

A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh Abstract

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2014-06-27 05:38:59
3Lowness Properties and Approximations of the Jump Santiago Figueira ∗

Lowness Properties and Approximations of the Jump Santiago Figueira ∗

Add to Reading List

Source URL: www.glyc.dc.uba.ar

Language: English - Date: 2007-07-08 19:58:00
4Topology in distributed computing Final project: black box x-consensus  objects

Topology in distributed computing Final project: black box x-consensus objects

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2013-08-03 17:19:31
5Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 13:08:48
6Quantum Computing and Cryptography Spring Semester 2011 Steve Vickers The University of Birmingham School of Computer Science

Quantum Computing and Cryptography Spring Semester 2011 Steve Vickers The University of Birmingham School of Computer Science

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2011-01-25 05:53:28
7Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed

Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2014-04-18 17:24:35
8ON THE DISTRIBUTION OF THE NUMBER OF CYCLES OF ELEMENTS IN SYMMETRIC GROUPS Don Zagier Max-Planck-Institut f¨ ur Mathematik, Bonn

ON THE DISTRIBUTION OF THE NUMBER OF CYCLES OF ELEMENTS IN SYMMETRIC GROUPS Don Zagier Max-Planck-Institut f¨ ur Mathematik, Bonn

Add to Reading List

Source URL: people.mpim-bonn.mpg.de

Language: English - Date: 2011-06-28 09:31:55
9Department of the Environment Dry Cleaner Compliance CalendarLarry Hogan, Governor Boyd Rutherford, Lt. Governor

Department of the Environment Dry Cleaner Compliance CalendarLarry Hogan, Governor Boyd Rutherford, Lt. Governor

Add to Reading List

Source URL: www.mde.state.md.us

Language: English - Date: 2015-04-14 21:27:53