{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/alms","name":"alms","description":"Alms is an experimental, general-purpose programming language that\nsupports practical affine types. To offer the expressiveness of\nGirard’s linear logic while keeping the type system light and\nconvenient, Alms uses expressive kinds that minimize notation while\nmaximizing polymorphism between affine and unlimited types.\nA key feature of Alms is the ability to introduce abstract affine types\nvia ML-style signature ascription. In Alms, an interface can impose\nstiffer resource usage restrictions than the principal usage\nrestrictions of its implementation. This form of sealing allows the type\nsystem to naturally and directly express a variety of resource\nmanagement protocols from special-purpose type systems.","version":"0.6.9","softwareVersion":"0.6.9","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/tov/alms","issueTracker":"https://github.com/tov/alms/issues","url":"http://users.eecs.northwestern.edu/~jesse/pubs/alms/","keywords":["bsd3","compilers-interpreters","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"JesseTov"}],"author":[{"@type":"Person","name":"JesseTov"}],"copyrightHolder":[{"@type":"Person","name":"JesseTov"}],"dateCreated":"2010-07-16","dateModified":"2018-08-17","datePublished":"2018-08-17","copyrightYear":2010,"downloadUrl":"https://hackage.haskell.org/package/alms-0.6.9/alms-0.6.9.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/alms"],"https://www.w3.org/ns/activitystreams#likes":43,"https://forgefed.org/ns#forks":2}