Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Kfoury, A.J.
and
Pericas-Geertsen, S.M.
1999.
Type inference for recursive definitions.
p.
119.
Broda, Sabine
and
Damas, Luís
1999.
Typed Lambda Calculi and Applications.
Vol. 1581,
Issue. ,
p.
69.
Fujita, Ken-Etsu
and
Schubert, Aleksy
2000.
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics.
Vol. 1872,
Issue. ,
p.
505.
Damiani, Ferruccio
2000.
Foundations of Software Science and Computation Structures.
Vol. 1784,
Issue. ,
p.
82.
Tiede, Hans-Joerg
2001.
Logical Aspects of Computational Linguistics.
Vol. 2014,
Issue. ,
p.
251.
Taha, Walid
Hudak, Paul
and
Wan, Zhanyong
2001.
Embedded Software.
Vol. 2211,
Issue. ,
p.
185.
Jiang, Hui
Lin, Dong
Zhang, Xingyuan
and
Xie, Xiren
2001.
Type system in programming languages.
Journal of Computer Science and Technology,
Vol. 16,
Issue. 3,
p.
286.
Broda, Sabine
and
Damas, Luís
2001.
Progress in Artificial Intelligence.
Vol. 2258,
Issue. ,
p.
321.
Bunder, Martin
2002.
Handbook of Philosophical Logic.
p.
229.
Schmidt-Schauß, Manfred
and
Schulz, Klaus U.
2002.
Computer Science Logic.
Vol. 2471,
Issue. ,
p.
522.
Damiani, Ferruccio
2003.
Rank 2 intersection types for modules.
p.
67.
Taha, Walid
and
Nielsen, Michael Florentin
2003.
Environment classifiers.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
26.
Taha, Walid
and
Nielsen, Michael Florentin
2003.
Environment classifiers.
p.
26.
Alves, Sandra
and
Florido, Mário
2004.
Logic Based Program Synthesis and Transformation.
Vol. 3018,
Issue. ,
p.
160.
Wolthusen, S.D.
2004.
Modeling critical infrastructure requirements.
p.
101.
Calcagno, Cristiano
Moggi, Eugenio
and
Taha, Walid
2004.
Programming Languages and Systems.
Vol. 2986,
Issue. ,
p.
79.
Broda, Sabine
Damas, Luı́s
Finger, Marcelo
and
Silva e Silva, Paulo
2004.
The decidability of a fragment of BB′IW-logic.
Theoretical Computer Science,
Vol. 318,
Issue. 3,
p.
373.
Fulop, Sean A.
2004.
Semantic bootstrapping of type-logical grammar.
Journal of Logic, Language and Information,
Vol. 14,
Issue. 1,
p.
49.
Wells, J. B.
and
Yakobowski, Boris
2005.
Logic Based Program Synthesis and Transformation.
Vol. 3573,
Issue. ,
p.
262.
Laird, J.
2005.
Automata, Languages and Programming.
Vol. 3580,
Issue. ,
p.
904.