LollyScript is a research language developed at the Software Languages Lab at the Vrije Unversiteit Brussel. Currently we are only at the early stages in the development of the LollyScript language but we aim to be able to express invariants over the use of futures in concurrent programs.
The name LollyScript was chosen because the typesystem of LollyScript is highly influence by linear logic. One of the main operators in linear logic is the linear implication which is represented by the lollypop operator: ⊸
More information about LollyScript can be found on this website, together with a tutorial and some exercises.
Examples can be found here.