|
In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151.
edited by N. Jones
| |
|
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 502-514.
| |
|
In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104.
| |
|
Lisp and Symbolic Computation: An International Journal, Vol. 1, No. 1. (1988), pp. 53-76.
| |
|
Lecture Notes in Computer Science, pp. 22-37.
| |
|
Lecture Notes in Computer Science
| |
|
In Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 16-27.
| |
|
In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 151-161.
| |
|
SIGPLAN Not., Vol. 33, No. 4. (April 1998), pp. 17-20.
| |
|
In Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 37, No. 3. (March 2002), pp. 31-40.
| |
|
Lisp Symb. Comput., Vol. 5, No. 4. (December 1992), pp. 295-326.
| |
|
In Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 138-147.
| |
|
In Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 47-58.
| |
|
In Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 320-334.
| |
|
In Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 94-104.
| |
|
Lisp Symb. Comput., Vol. 3, No. 1. (January 1990), pp. 67-99.
| |
|
In Proceedings of the Parallel Architectures and Languages Europe, Volume I (1987), pp. 206-223.
| |
|
In Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 180-190.
by M. Felleisen
| |
|
In Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, Vol. 30, No. 6. (June 1995), pp. 130-138.
| |
|
In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 48-59.
| |
|
In Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security (1996), pp. 254-265.
by Olin Shivers
| |
|
In Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 143-150.
| |
|
SIGPLAN Not., Vol. 33, No. 9. (September 1998), pp. 26-76.
| |
|
In Proceedings of the 1988 ACM conference on LISP and functional programming (1988), pp. 86-95.
| |
|
In Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 203-215.
| |
|
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255.
posted by
7 people
samth
greenrd
yallop
spl
NU-PRL
SRG_at_UCD
americovargas
| |
|
In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243.
by Ralf Hinze
| |
|
In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37.
posted by
8 people
spl
mkis
samth
greenrd
yallop
NU-PRL
SRG_at_UCD
americovargas
| |
|
Automated Software Engg., Vol. 11, No. 4. (October 2004), pp. 337-364.
| |
|
SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94.
by P. Wadler
| |
|
In PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation, Vol. 24, No. 7. (July 1989), pp. 218-226.
| |
|
ACM Letters on Programming Languages and Systems, Vol. 1, No. 2. (June 1992), pp. 161-177.
posted by
7 people
samth
dherman
hamish
JeffreyPalmer
anoopsarkar
satrajit
NU-PRL
| |
|
In SIGPLAN Conference on Programming Language Design and Implementation (1993), pp. 156-165.
| |
|
ACM Trans. Program. Lang. Syst., Vol. 26, No. 6. (November 2004), pp. 1029-1052.
| |
|
In Proceedings of the 12th European Conference on Object-Oriented Programming (1998), pp. 91-113.
| |
|
Theor. Comput. Sci., Vol. 52, No. 3. (June 1987), pp. 205-237.
| |
|
In Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 270-281.
| |
|
In Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 36, No. 11. (November 2001), pp. 31-42.
| |
|
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
| |
|
posted by
6 people
dherman
pnkfelix
JeffreyPalmer
mbravenboer
ryanc
NU-PRL
| |
|
J. ACM, Vol. 24, No. 1. (January 1977), pp. 68-95.
| |
|
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135.
| |
|
No. NOTTCS-TR-96-3. (November 1996)
| |
|
In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 373-425.
edited by C. A. Gunter, J. C. Mitchell
| |
|
In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 295-350.
edited by C. A. Gunter, J. C. Mitchell
| |
|
(1999)
| |
|
In Automata, Languages and Programming (1993), pp. 682-695.
| |
|
In Int'l Conf. on Functional Programming (ICFP'02) (oct 2002), pp. 48-59.
| |
|
| |
|
In Domain-Specific Languages (1999), pp. 109-122.
| |
|
In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41.
| |
|
In Proceedings of the ACM SIGPLAN~'98 Conference on Programming Language Design and Implementation (1998), pp. 236-248.
| |
|
ACM Trans. Program. Lang. Syst., Vol. 5, No. 1. (January 1983), pp. 97-121.
by Samuel Kamin
| |
 | |
 | |
 | |
|
: Automated Deduction – CADE-20 (2005), pp. 38-53.
| |
 (08 November 2002)
by Kent Beck
| |
 (06 October 2000)
posted by
3 people
samth
cedricboidin
NU-PRL
| |
|
In Proceedings of the 1984 ACM Conference on LISP and Functional Programming (1984), pp. 198-207.
| |
|
High Performance Distributed Computing, 1999. Proceedings. The Eighth International Symposium on (1999), pp. 115-124.
posted by
4 people
samth
turker
tlmquintino
NU-PRL
| |
|
Software - Practice and Experience, Vol. 9, No. 4. (1979), pp. 255-65.
| |
|
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 37-49.
| |
 (15 May 1997)
| |
 | |
 | |
|
In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84.
posted by
4 people
samth
cedricboidin
robennals
NU-PRL
| |
|
In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 213-223.
| |
|
In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 263-274.
| |
|
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13.
| |
|
In LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 185-195.
| |
|
Lisp Symb. Comput., Vol. 7, No. 4. (December 1994), pp. 337-343.
| |
|
In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146.
edited by Loren Meissner
|
