<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-03-16 00:27:10Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
Converting MiniZinc to FlatZinc Version 1.5 Nicholas Nethercote 1 | Prospect:
 A Library and Compiler
 for High-Level, High-Performance Scientific Computing in Julia Lindsey Kuper Parallel Computing Lab, Intel LabsDocID: 1qCIo - View Document |
| Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker MarklDocID: 1ptjS - View Document |
| Eager Comprehensions in Scheme The design of SRFI 42 Sebastian Egner Philips Research Laboratories, The NetherlandsDocID: 1oZsD - View Document |
| Informational_Text_Secondary_Short_August 2014.pptDocID: 1oGyh - View Document |
| Type-Directed Language Extension for Effectful Computations Evgenii Kotelnikov Chalmers University of Technology Gothenburg, SwedenDocID: 1nZQ5 - View Document |