FSM-Hume: programming resource-limited systems using bounded automata
Proceedings of the 2004 ACM symposium on Applied computing
Controlling data movement in global computing applications
Proceedings of the 2004 ACM symposium on Applied computing
Constructive negation by bottom-up computation of literal answers
Proceedings of the 2004 ACM symposium on Applied computing
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
A back-end for GHC based on categorical multi-combinators
Proceedings of the 2004 ACM symposium on Applied computing
Approximating module semantics with constraints
Proceedings of the 2004 ACM symposium on Applied computing
Proceedings of the 2004 ACM symposium on Applied computing
Implementing the essence of reflection: a reflective run-time environment
Proceedings of the 2004 ACM symposium on Applied computing
A core calculus of higher-order mixins and classes
Proceedings of the 2004 ACM symposium on Applied computing
Hi-index | 0.00 |