Space-efficient closure representations
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Interprocedural register allocation for lazy functional languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Automatic checking of instruction specifications
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specifying representations of machine instructions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing typed intermediate languages
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Efficient and safe-for-space closure conversion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimal spilling for CISC machines with few registers
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Optimizing Nested Loops Using Local CPS Conversion
Higher-Order and Symbolic Computation
Manticore: a heterogeneous parallel language
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Typed common intermediate format
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Status report: the manticore project
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Calling variadic functions from a strongly-typed language
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Hi-index | 0.00 |