| |
In ERLANG '08: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG (2008), pp. 1-8.
|
| |
Journal of Experimental Social Psychology, Vol. 40, No. 5. (September 2004), pp. 586-598.
|
| |
Peer-to-Peer Systems (2002), pp. 53-65.
|
| |
ACM SIGPLAN Notices In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, Vol. 42, No. 10. (21 October 2007), pp. 677-694.
|
| |
Business Process Management (2006), pp. 257-273.
|
| |
In ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994), pp. 109-124.
|
| |
In Erlang '09: Proceedings of the 8th ACM SIGPLAN workshop on Erlang (2009), pp. 83-92.
|
| |
Journal of Functional Programming, Vol. 16, No. 01. (January 2006), pp. 21-34.
|
| |
IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 24, No. 4. (1998), pp. 302-312.
|
| |
Commun. ACM, Vol. 11, No. 1. (January 1968), pp. 3-11.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (2005), pp. 346-355.
|
| |
IEEE Trans. Softw. Eng., Vol. 18, No. 11. (November 1992), pp. 1025-1029.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38.
|
| |
LISP and Symbolic Computation, Vol. 8, No. 4. (1 December 1995), pp. 293-341.
|
| |
Formal Methods for Performance Evaluation (2007), pp. 220-270.
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
In ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang (2006), pp. 2-10.
|
| |
In FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages (2007), pp. 65-74.
|
| |
In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (2001), 435.
|
| |
In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 174-183.
|
| |
In FOAL '07: Proceedings of the 6th workshop on Foundations of aspect-oriented languages (2007), pp. 27-33.
|
| |
In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 24-52.
|
| |
Social Science Research Network Working Paper Series (17 August 2009)
|
| |
SIGPLAN Not., Vol. 34, No. 9. (1999), pp. 18-27.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 268-279.
|
| |
In SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, Vol. 31, No. 4. (October 2001), pp. 149-160.
|
| |
SIGOPS Oper. Syst. Rev. In USITS'03: Proceedings of the 4th conference on USENIX Symposium on Internet Technologies and Systems, Vol. 35, No. 5. (2001), pp. 202-215.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 34, No. 2. (2008), pp. 226-241.
|
| |
Software, IEEE In Software, IEEE, Vol. 26, No. 3. (2009), pp. 42-49.
|
| |
Inf. Process. Lett., Vol. 88, No. 1-2. (2003), pp. 13-25.
|
| |
|
| |
In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2003), pp. 16-27.
|
| |
Artif. Intell., Vol. 66, No. 1. (1994), pp. 91-124.
|
| |
|
| |
In SEKE '02: Proceedings of the 14th international conference on Software engineering and knowledge engineering (2002), pp. 289-296.
|
| |
Software, IEEE In Software, IEEE, Vol. 20, No. 2. (2003), pp. 18-25.
|
| |
Web Semant. In Selected Papers from the International Semantic Web Conference, International Semantic Web Conference (ISWC2005), Vol. 5, No. 1. (March 2007), pp. 5-15.
|
| |
In HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (2006), pp. 111-114.
|
| |
In AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development (2009), pp. 39-50.
|
| |
In CCS '05: Proceedings of the 12th ACM conference on Computer and communications security (2005), pp. 373-382.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 24, No. 3. (May 2002), pp. 217-298.
|
| |
SIGPLAN Not., Vol. 38, No. 5. (May 2003), pp. 155-167.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 308-319.
|
| |
In OSDI '06: Proceedings of the 7th symposium on Operating systems design and implementation (2006), pp. 45-60.
|
| |
Social Science Research Network Working Paper Series (23 August 2006)
|
| |
Applied Semantics (2002), pp. 268-332.
|
| |
Journal of Automated Reasoning, Vol. 31, No. 3. (13 November 2003), pp. 303-334.
|
| |
ACM Comput. Surv., Vol. 26, No. 4. (December 1994), pp. 345-420.
|
| |
Theoretical Computer Science, Vol. 170, No. 1-2. (15 December 1996), pp. 297-348.
|
| |
The Computer Journal, Vol. 28, No. 5. (1 May 1985), pp. 449-465.
|
CiteULike
bfraser's CiteULike
Search
