| |
|
| |
|
| |
Functional and Logic Programming (2006), pp. 65-80.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 174, No. 9. (June 2007), pp. 85-115.
|
| |
In PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming (2007), pp. 68-78.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
In ICWE '06: Proceedings of the 6th international conference on Web engineering (2006), pp. 297-304.
|
| |
In PPoPP '06: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming (2006), pp. 198-208.
|
| |
Sci. Comput. Program., Vol. 63, No. 2. (December 2006), pp. 111-129.
|
| |
ACM Trans. Database Syst., Vol. 8, No. 4. (December 1983), pp. 465-483.
|
| |
Science of Computer Programming, Vol. 63, No. 2. (01 December 2006), pp. 172-185.
|
| |
SIGPLAN Not. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, Vol. 41, No. 6. (2006), pp. 14-25.
|
| |
In MICRO 39: Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (2006), pp. 185-196.
|
| |
In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (2007), pp. 191-210.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 174, No. 9. (June 2007), pp. 117-137.
|
| |
In PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming (2007), pp. 134-135.
|
| |
In MSPC '06: Proceedings of the 2006 workshop on Memory system performance and correctness (2006), pp. 62-69.
|
| |
In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 70-81.
|
| |
In PPoPP '06: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming (2006), pp. 209-220.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 63-74.
|
| |
SIGARCH Comput. Archit. News, Vol. 34, No. 2. (May 2006), pp. 53-65.
|
| |
SIGPLAN Not., Vol. 42, No. 10. (October 2007), pp. 695-706.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 51-62.
|
| |
In ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems (2006), pp. 359-370.
|
| |
SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 253-262.
|
| |
SIGPLAN Not., Vol. 41, No. 6. (June 2006), pp. 26-37.
|
| |
In EW 6: Proceedings of the 6th workshop on ACM SIGOPS European workshop (1994), pp. 128-133.
|
| |
In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation (2003), pp. 338-349.
|
| |
In SAC '02: Proceedings of the 2002 ACM symposium on Applied computing (2002), pp. 393-400.
|
| |
In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61.
|
| |
In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007)
|
| |
In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 295-308.
|
| |
In PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2008), pp. 71-80.
|
| |
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming (2004), pp. 28-39.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 84-95.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 22-32.
|
| |
In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 10-21.
|
| |
ACM Trans. Comput. Syst., Vol. 25, No. 2. (May 2007), 5.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 72-82.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 148-159.
|
| |
Distributed Computing (2005), pp. 354-368.
|
| |
ECOOP 2004 – Object-Oriented Programming (2004), pp. 518-541.
|
| |
Distributed Computing, Vol. 10, No. 2. (22 February 1997), pp. 99-116.
|
| |
Implementation and Application of Functional Languages (2006), pp. 124-141.
|
| |
Distributed Computing (2006), pp. 194-208.
|
| |
Fundamental Approaches to Software Engineering (2006), pp. 3-17.
|
| |
Science of Computer Programming In Special Issue on the First MetaOCaml Workshop 2004, Vol. 62, No. 1. (September 2006), pp. 85-94.
|
| |
Science of Computer Programming In Special Issue dedicated to selected papers from the conference of program construction 2004 (MPC 2004), Vol. 65, No. 2. (15 March 2007), pp. 140-158.
|
Search
