Anonymous

Programming Language Theory: Difference between revisions

From dankwiki
No edit summary
Line 120: Line 120:
===Constraint Programming===
===Constraint Programming===
'''FIXME'''
'''FIXME'''
===Nondeterminism====
'''FIXME''' impossible in purely declarative programming!


==Typing==
==Typing==