First Page | Document Content | |
---|---|---|
![]() Date: 2012-02-08 15:24:21Data types Functional programming Type theory Higher-order functions Adjoint functors Monad List comprehension Type class Option type Software engineering Computing Computer programming | Add to Reading List |
![]() | 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 |