User loginNavigation 
CLL: A Concurrent Language Built from Logical Principles
CLL: A Concurrent Language Built from Logical Principles by Deepak Garg, 2005.
In this report, we use both the CurryHoward isomorphism and proofsearch to design a concurrent programming language from logical principles. ... Our underlying logic is a firstorder intuitionistic linear logic where all right synchronous connectives are restricted to a monad.Yet another example of using monads to embed effectful computations into a pure FP. Another interesting part is the methodology of derivation of a PL from a logic. By Andris Birkmanis at 20070630 18:06  Logic/Declarative  Semantics  Type Theory  other blogs  8266 reads

Browse archivesActive forum topics 
Recent comments
24 min 28 sec ago
39 min 14 sec ago
1 hour 21 min ago
1 hour 32 min ago
1 hour 56 min ago
2 hours 32 min ago
2 hours 35 min ago
2 hours 36 min ago
4 hours 22 min ago
5 hours 38 min ago