Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Dornan, Chris
1997.
Affordable dynamic types (poster).
p.
311.
Dornan, Chris
1997.
Affordable dynamic types (poster).
ACM SIGPLAN Notices,
Vol. 32,
Issue. 8,
p.
311.
Pil, Marco
1997.
Implementation of Functional Languages.
Vol. 1268,
Issue. ,
p.
233.
Wright, Andrew K.
and
Cartwright, Robert
1997.
A practical soft type system for scheme.
ACM Transactions on Programming Languages and Systems,
Vol. 19,
Issue. 1,
p.
87.
Yang, Zhe
1998.
Encoding types in ML-like languages.
p.
289.
Connor, Richard
1998.
Database Programming Languages.
Vol. 1369,
Issue. ,
p.
97.
Pil, Marco
1999.
Implementation of Functional Languages.
Vol. 1595,
Issue. ,
p.
169.
Hinze, Ralf
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
21.
Connor, Richard
Sibson, Keith
and
Manghi, Paolo
1999.
The World Wide Web and Databases.
Vol. 1590,
Issue. ,
p.
34.
Yang, Zhe
1999.
Encoding types in ML-like languages.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 1,
p.
289.
Didrich, Klaus
Grieskamp, Wolfgang
Schintke, Florian
Tantau, Till
and
Trancón-y-Widemann, Baltasar
2000.
Implementation of Functional Languages.
Vol. 1868,
Issue. ,
p.
149.
Hinze, Ralf
2000.
A new approach to generic functional programming.
p.
119.
Barry Jay, C.
2001.
Typed Lambda Calculi and Applications.
Vol. 2044,
Issue. ,
p.
217.
Baars, Arthur I.
and
Swierstra, S. Doaitse
2002.
Typing dynamic typing.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
157.
Weirich, Stephanie
2002.
Programming Languages and Systems.
Vol. 2305,
Issue. ,
p.
98.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Baars, Arthur I.
and
Swierstra, S. Doaitse
2002.
Typing dynamic typing.
p.
157.
Cheney, James
and
Hinze, Ralf
2002.
A lightweight implementation of generics and dynamics.
p.
90.
Bettini, Lorenzo
Bono, Viviana
De Nicola, Rocco
Ferrari, Gianluigi
Gorla, Daniele
Loreti, Michele
Moggi, Eugenio
Pugliese, Rosario
Tuosto, Emilio
and
Venneri, Betti
2003.
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems.
Vol. 2874,
Issue. ,
p.
88.
Leifer, James J.
Peskine, Gilles
Sewell, Peter
and
Wansbrough, Keith
2003.
Global abstraction-safe marshalling with hash types.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 9,
p.
87.
Discussions
No Discussions have been published for this article.