discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Ceptre: A Language for Modeling Generative Interactive Systems [pdf]
http://www.cs.cmu.edu/~cmartens/ceptre.pdf
4 comments
16/8/2015
Lambda the Ultimate
Ceptre: A Language for Modeling Generative Interactive Systems.
http://www.cs.cmu.edu/~cmartens/ceptre.pdf
0 comments
4/8/2015
Logic/Declarative