BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Norway
1 × Spain
1 × United Kingdom
2 × Germany
2 × Hungary
2 × Italy
9 × USA
Collaborated with:
Y.D.Liu C.Skalka V.Trifonov T.Wang R.L.Constable R.Rinat J.Eifrig Z.Palmer A.Kulkarni X.Lu F.Pottier M.Magidor P.C.Chapin M.Watson A.E.Zwarico F.Honsell I.A.Mason C.L.Talcott
Talks about:
type (9) theori (4) object (4) program (3) polymorph (2) constrain (2) function (2) languag (2) static (2) infer (2)

Person: Scott F. Smith

DBLP DBLP: Smith:Scott_F=

Contributed to:

GPCE 20132013
OOPSLA 20112011
OOPSLA 20102010
CC 20082008
OOPSLA 20062006
OOPSLA 20052005
ECOOP 20042004
ECOOP 20022002
ECOOP 20012001
ESOP 20012001
ESOP 20002000
ICFP 20002000
OOPSLA 19991999
SAS 19961996
OOPSLA 19951995
OOPSLA 19941994
CSL 19921992
LICS 19881988
LICS 19871987

Wrote 19 papers:

GPCE-2013-ChapinSSW #named #network #programming #staged
Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.
OOPSLA-2011-PalmerS #difference #java #metaprogramming
Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.
OOPSLA-2010-KulkarniLS #pervasive
Task types for pervasive atomicity (AK, YDL, SFS), pp. 671–690.
CC-2008-LiuLS #concurrent #named
Coqa: Concurrent Objects with Quantized Atomicity (YDL, XL, SFS), pp. 260–275.
OOPSLA-2006-LiuS #component #deployment #framework
A formal framework for component deployment (YDL, SFS), pp. 325–344.
OOPSLA-2005-LiuS #programming
Interaction-based programming with classages (YDL, SFS), pp. 191–209.
ECOOP-2004-LiuS #communication #interface
Modules with Interfaces for Dynamic Linking and Communication (YDL, SFS), pp. 414–439.
ECOOP-2002-RinatS #composition #internet #programming
Modular Internet Programming with Cells (RR, SFS), pp. 257–280.
ECOOP-2001-WangS #constraints #java #precise #type inference
Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.
ESOP-2001-PottierSS #approach #data access
A Systematic Approach to Static Access Control (FP, CS, SFS), pp. 30–45.
ESOP-2000-SmithW #analysis
Polyvariant Flow Analysis with Constrained Types (SFS, TW), pp. 382–396.
ICFP-2000-SkalkaS #security
Static enforcement of security with types (CS, SFS), pp. 34–45.
OOPSLA-1999-RinatMS #morphism #object-oriented #polymorphism
Correspondence Polymorphism for Object-Oriented Languages (RR, MM, SFS), pp. 167–186.
SAS-1996-TrifonovS #type system
Subtyping Constrained Types (VT, SFS), pp. 349–365.
OOPSLA-1995-EifrigST #polymorphism #type inference
Sound Polymorphic Type Inference for Objects (JE, SFS, VT), pp. 169–184.
OOPSLA-1994-EifrigSTZ #decidability #object-oriented #type system
Application of OOP Type Theory: State, Decidability, Integragtion (JE, SFS, VT, AEZ), pp. 16–30.
CSL-1992-HonsellMST #formal method #functional
A Theory of Classes for a Functional Language with Effects (FH, IAM, SFS, CLT), pp. 309–326.
LICS-1988-ConstableS #recursion
Computational Foundations of Basic Recursive Function Theory (RLC, SFS), pp. 360–371.
LICS-1987-ConstableS #type system
Partial Objects In Constructive Type Theory (RLC, SFS), pp. 183–193.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.