Nexus

Home
Science
Politics
Technology
Space
News
Health

Home Unlabelled LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

Monday, December 15, 2014

Read

Comments

from Hacker News http://bit.ly/12YWXxz

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

Reviewed by 0x000216 on Monday, December 15, 2014 Rating: 5

Tags :

Share it Tweet it Share it Share it Pin it

You Might Also Like

Recent Posts

Facebook

Created By Nexus · Powered by Blogger
© All Rights Reserved

Terms Of Service · Privacy Policy · Disclaimer · Contact Us · About Us