Suivre
Scott F. Smith
Scott F. Smith
Professor of Computer Science, The Johns Hopkins University
Adresse e-mail validée de cs.jhu.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
23291986
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
7021997
Theoretical examination of the SN2 reaction involving chloride ion and methyl chloride in the gas phase and aqueous solution
J Chandrasekhar, SF Smith, WL Jorgensen
Journal of the American Chemical Society 107 (1), 154-163, 1985
4921985
On Binary Methods
K Bruce, L Cardelli, G Castagna, J Eifrig, GT Leavens, B Pierce, S Smith, ...
Theory and Practice of Object Systems 1 (3), 221-242, 1995
3401995
SN2 reaction profiles in the gas phase and aqueous solution
J Chandrasekhar, SF Smith, WL Jorgensen
Journal of the American Chemical Society 106 (10), 3049-3050, 1984
3141984
Sound polymorphic type inference for objects
J Eifrig, S Smith, V Trifonov
Proceedings of the tenth annual conference on Object-oriented programming …, 1995
1841995
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
1611992
Subtyping constrained types
V Trifonov, S Smith
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996
1521996
Type inference for recursively constrained types and its application to OOP
J Eifrig, S Smith, V Trifonov
Electronic Notes in Theoretical Computer Science 1, 132-153, 1995
1421995
Dynamic dependency monitoring to secure information flow
P Shroff, S Smith, M Thober
20th IEEE Computer Security Foundations Symposium (CSF'07), 203-217, 2007
1302007
Ab initio study of acid-base interactions. Proton, lithium, and sodium affinities of first-and second-row bases
SF Smith, J Chandrasekhar, WL Jorgensen
The Journal of Physical Chemistry 86 (17), 3308-3318, 1982
1241982
Partial objects in constructive type theory
RL Constable, SF Smith
Cornell University, 1987
1221987
Precise constraint-based type inference for Java
T Wang, SF Smith
European Conference on Object-Oriented Programming, 99-117, 2001
1072001
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and computation 119 (1), 55-90, 1995
1001995
History effects and verification
C Skalka, S Smith
Asian Symposium on Programming Languages and Systems, 107-128, 2004
962004
Static enforcement of security with types
C Skalka, S Smith
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
942000
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
881996
A systematic approach to static access control
F Pottier, C Skalka, S Smith
Programming Languages and Systems: 10th European Symposium on Programming …, 2001
802001
Computational foundations of basic recursive function theory
RL Constable, SF Smith
Theoretical Computer Science 121 (1-2), 89-112, 1993
69*1993
Types and trace effects of higher order programs
C Skalka, S Smith, D Van Horn
Journal of Functional Programming 18 (2), 179-249, 2008
642008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20