| |
In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35.
|
| |
SIGPLAN Not., Vol. 43, No. 10. (2008), pp. 227-244.
|
| |
Software Testing, Verification and Reliability, Vol. 13, No. 4. (2003), pp. 207-227.
|
| |
Health psychology : official journal of the Division of Health Psychology, American Psychological Association, Vol. 28, No. 2. (March 2009), pp. 201-209.
|
| |
The Journal of family practice, Vol. 31, No. 1. (July 1990), pp. 62-64.
|
| |
Pharmacy world & science : PWS, Vol. 16, No. 3. (10 June 1994), pp. 154-160.
|
| |
Journal of clinical pharmacy and therapeutics, Vol. 21, No. 4. (August 1996), pp. 221-228.
|
| |
Journal of the American Geriatrics Society, Vol. 57, No. 3. (March 2009), pp. 462-469.
|
| |
Canadian family physician Médecin de famille canadien, Vol. 48 (January 2002), pp. 104-110.
|
| |
Social science & medicine (1982), Vol. 59, No. 8. (October 2004), pp. 1677-1683.
|
| |
Journal of medical ethics, Vol. 34, No. 3. (March 2008), pp. 137-140.
|
| |
Archives of internal medicine, Vol. 154, No. 23. (6 1994), pp. 2753-2756.
|
| |
In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57.
|
| |
ACM Comput. Surv., Vol. 28, No. 2. (1996), pp. 344-345.
|
| |
|
| |
Programming Languages and Systems (2006), pp. 7-21.
|
| |
SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 39-46.
|
| |
|
| |
In In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA (2002), pp. 292-310.
|
| |
Programming Languages and Systems (2007), pp. 331-346.
|
| |
Patient Education and Counseling, Vol. 74, No. 2. (February 2009), pp. 228-235.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 331-342.
|
| |
Science, Vol. 321, No. 5886. (11 July 2008), pp. 263-266.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2030 (2001)
|
| |
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 105-115.
|
| |
BJU Int, Vol. 87, No. 7. (May 2001), pp. 674-678.
|
| |
|
| |
ACM Trans. Comput. Logic, Vol. 4, No. 1. (January 2003), pp. 1-32.
|
| |
|
| |
|
| |
In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 42-122.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 51-62.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 62-74.
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128.
|
| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 8-17.
|
| |
Lecture Notes in Computer Science, Vol. 2670 (January 2003), pp. 215-231.
|
| |
SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114.
|
| |
Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356.
|
| |
In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61.
|
| |
In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457.
|
| |
Lecture Notes in Computer Science, Vol. 2294 (January 2002), 182.
|
Search
