sorted by: recent | see : popular

Content Tagged with Spark + programminglanguages

via Thunder and siti on #haskell Like a next generation of Ada, with additional function constraints and post-conditions. specification based stuff, proof checking etc.