<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-12-23 00:30:53Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2008-12-23 00:30:53Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
Converting MiniZinc to FlatZinc Nicholas Nethercote Version 0.9 1