| From folklore to fact: comparing implementations of stacks and continuations | 0 | 0.34 | 2020 |
| The history of Standard ML | 0 | 0.34 | 2020 |
| Point Movement in a DSL for Higher-Order FEM Visualization. | 0 | 0.34 | 2019 |
| Rendering and Extracting Extremal Features in 3D Fields. | 2 | 0.39 | 2018 |
| Compiling Diderot: From Tensor Calculus to C. | 0 | 0.34 | 2018 |
| Properties of Normalization for a math based intermediate representation. | 0 | 0.34 | 2017 |
| An exploration to visualize finite element data with a DSL. | 0 | 0.34 | 2017 |
| DATm: Diderot's Automated Testing Model. | 0 | 0.34 | 2017 |
| Practical and effective higher-order optimizations | 5 | 0.45 | 2014 |
| Practical Inlining of Functions with Free Variables. | 0 | 0.34 | 2013 |
| Data-only flattening for nested data parallelism | 10 | 0.49 | 2013 |
| Diderot: a parallel DSL for image analysis and visualization | 22 | 1.16 | 2012 |
| Lazy tree splitting | 2 | 0.37 | 2012 |
| Nested data-parallelism on the gpu | 33 | 1.01 | 2012 |
| A declarative API for particle systems | 1 | 0.37 | 2011 |
| Garbage collection for multicore NUMA machines | 9 | 0.57 | 2011 |
| Lazy tree splitting | 7 | 0.52 | 2010 |
| Arity raising in manticore | 3 | 0.38 | 2009 |
| Regular-expression derivatives re-examined | 47 | 2.21 | 2009 |
| Parallel concurrent ML | 14 | 0.69 | 2009 |
| Programming in Manticore, a heterogenous parallel functional language | 2 | 0.42 | 2009 |
| Calling variadic functions from a strongly-typed language | 0 | 0.34 | 2008 |
| A scheduling framework for general-purpose parallel languages | 17 | 0.72 | 2008 |
| Implicitly-threaded parallelism in Manticore | 26 | 0.95 | 2008 |
| Metaprogramming with Traits | 31 | 1.23 | 2007 |
| Concurrent programming in ML | 113 | 7.18 | 2007 |
| Manticore: a heterogeneous parallel language | 27 | 1.10 | 2007 |
| Status report: the manticore project | 19 | 0.92 | 2007 |
| Application-specific foreign-interface generation | 5 | 0.53 | 2006 |
| Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 | 4 | 1.59 | 2006 |
| Type-sensitive control-flow analysis | 4 | 0.41 | 2006 |
| Optimizing Nested Loops Using Local CPS Conversion | 8 | 0.45 | 2002 |
| Inheritance-based subtyping | 5 | 0.50 | 2002 |
| A Framework for Interoperability | 10 | 0.90 | 2001 |
| Protium, an Infrastructure for Partitioned Applications | 15 | 3.84 | 2001 |
| A Calculus for Compiling and Linking Classes | 13 | 0.92 | 2000 |
| The design of a class mechanism for Moby | 40 | 3.07 | 1999 |
| AML: attribute grammars in ML | 0 | 0.34 | 1997 |
| Supporting dynamic data structures on distributed-memory machines | 143 | 12.70 | 1995 |
| A Portable and Optimizing Back End for the SML/NJ Compiler | 19 | 2.12 | 1994 |
| Unrolling lists | 20 | 1.50 | 1994 |
| First-class Synchronous Operations | 5 | 1.47 | 1994 |
| Concurrent ML: Design, Application and Semantics | 31 | 2.08 | 1993 |
| Early Experiences with Olden | 22 | 4.85 | 1993 |
| Supporting SPMD Execution for Dynamic Data Structures | 10 | 1.62 | 1992 |
| CML: A higher concurrent language | 155 | 21.30 | 1991 |
