Are you aware? - Githubissues

rntz / datafun

Research on integrating datalog & lambda calculus via monotonicity types

http://www.rntz.net/datafun/

385 stars 15 forks source link

Are you aware? #3

Open pdehaye opened 3 years ago

pdehaye commented 3 years ago

Of the work of @AndreCensi at http://www.co-design.science ? A programming language to deal with optimization problems expressed with monotone functions. You might be able to apply your work to his problems.