191 citations found. Retrieving documents...
#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#


Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)

No context found.

#26# D. Leivant. Polymorphictype inference. In ConferenceRecord of the 10th Annual ACM Symposium on Principles of Programming Languages, pages 88#98, Austin, January 1983. ACM. #p 21# #27# X. LeroyandM.Mauny. Dynamics in ML. In Hughes #17#, pages 406#426. #LNCS 523#. #p 20#

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC