Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Scott F. Smith 0001
@article{DBLP:journals/pacmpl/PalmerPSW20,
author = {Zachary Palmer and
Theodore Park and
Scott F. Smith and
Shiwei Weng},
title = {Higher-order demand-driven symbolic evaluation},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {102:1--102:28},
year = {2020},
url = {https://doi.org/10.1145/3408984},
doi = {10.1145/3408984},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PalmerPSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FachinettiPSWY20,
author = {Leandro Facchinetti and
Zachary Palmer and
Scott F. Smith and
Ke Wu and
Ayaka Yorihiro},
editor = {Bruno C. d. S. Oliveira},
title = {A Set-Based Context Model for Program Analysis},
booktitle = {Programming Languages and Systems - 18th Asian Symposium, {APLAS}
2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12470},
pages = {3--24},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64437-6\_1},
doi = {10.1007/978-3-030-64437-6\_1},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/FachinettiPSWY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FacchinettiPS19,
author = {Leandro Facchinetti and
Zachary Palmer and
Scott F. Smith},
title = {Higher-order Demand-driven Program Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {41},
number = {3},
pages = {14:1--14:53},
year = {2019},
url = {https://doi.org/10.1145/3310340},
doi = {10.1145/3310340},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FacchinettiPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/RoeS17,
author = {Kenneth Roe and
Scott F. Smith},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {Using the coq theorem prover to verify complex data structure invariants},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {118--121},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127061},
doi = {10.1145/3127041.3127061},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/RoeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FacchinettiPS17,
author = {Leandro Facchinetti and
Zachary Palmer and
Scott F. Smith},
editor = {Francesco Ranzato},
title = {Relative Store Fragments for Singleton Abstraction},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {106--127},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_6},
doi = {10.1007/978-3-319-66706-5\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FacchinettiPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FacchinettiPS16,
author = {Leandro Facchinetti and
Zachary Palmer and
Scott F. Smith},
title = {Higher-Order Demand-Driven Program Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {09:1--09:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.9},
doi = {10.4230/DARTS.2.1.9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FacchinettiPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PalmerS16,
author = {Zachary Palmer and
Scott F. Smith},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {Higher-Order Demand-Driven Program Analysis},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {19:1--19:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.19},
doi = {10.4230/LIPICS.ECOOP.2016.19},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PalmerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/RoeS16,
author = {Kenneth Roe and
Scott F. Smith},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
title = {CoqPIE: An {IDE} Aimed at Improving Proof Development Productivity
- (Rough Diamond)},
booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
2016, Nancy, France, August 22-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {491--499},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_32},
doi = {10.1007/978-3-319-43144-4\_32},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/RoeS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/PalmerMRS14,
author = {Zachary Palmer and
Pottayil Harisanker Menon and
Alexander Rozenshteyn and
Scott F. Smith},
editor = {Jacques Garrigue},
title = {Types for Flexible Objects},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {99--119},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_6},
doi = {10.1007/978-3-319-12736-1\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/PalmerMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ChapinSSW13,
author = {Peter C. Chapin and
Christian Skalka and
Scott F. Smith and
Michael Watson},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Scalaness/nesT: type specialized staged programming for sensor networks},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {135--144},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517217},
doi = {10.1145/2517208.2517217},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/ChapinSSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LiuSS11,
author = {Yu David Liu and
Christian Skalka and
Scott F. Smith},
title = {Type-specialized staged programming with process separation},
journal = {High. Order Symb. Comput.},
volume = {24},
number = {4},
pages = {341--385},
year = {2011},
url = {https://doi.org/10.1007/s10990-012-9089-0},
doi = {10.1007/S10990-012-9089-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/LiuSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PalmerS11,
author = {Zachary Palmer and
Scott F. Smith},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Backstage Java: making a difference in metaprogramming},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {939--958},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048137},
doi = {10.1145/2048066.2048137},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PalmerS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KulkarniLS10,
author = {Aditya Kulkarni and
Yu David Liu and
Scott F. Smith},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Task types for pervasive atomicity},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {671--690},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869514},
doi = {10.1145/1869459.1869514},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KulkarniLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LiuSS09,
author = {Yu David Liu and
Christian Skalka and
Scott F. Smith},
editor = {Patrik Jansson and
Sibylle Schupp},
title = {Type-specialized staged programming with process separation},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
2009},
pages = {49--60},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596614.1596622},
doi = {10.1145/1596614.1596622},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/LiuSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/ShroffST08,
author = {Paritosh Shroff and
Scott F. Smith and
Mark Thober},
title = {Securing information flow via dynamic capture of dependencies},
journal = {J. Comput. Secur.},
volume = {16},
number = {5},
pages = {637--688},
year = {2008},
url = {https://doi.org/10.3233/JCS-2008-0335},
doi = {10.3233/JCS-2008-0335},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/ShroffST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SkalkaSH08,
author = {Christian Skalka and
Scott F. Smith and
David Van Horn},
title = {Types and trace effects of higher order programs},
journal = {J. Funct. Program.},
volume = {18},
number = {2},
pages = {179--249},
year = {2008},
url = {https://doi.org/10.1017/S0956796807006466},
doi = {10.1017/S0956796807006466},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/SkalkaSH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SridharSS08,
author = {Swaroop Sridhar and
Jonathan S. Shapiro and
Scott F. Smith},
editor = {G. Ramalingam},
title = {Sound and Complete Type Inference for a Systems Programming Language},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {290--306},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_21},
doi = {10.1007/978-3-540-89330-1\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SridharSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LiuLS08,
author = {Yu David Liu and
Xiaoqi Lu and
Scott F. Smith},
editor = {Laurie J. Hendren},
title = {Coqa: Concurrent Objects with Quantized Atomicity},
booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4959},
pages = {260--275},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78791-4\_18},
doi = {10.1007/978-3-540-78791-4\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/LiuLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ShroffSS07,
author = {Paritosh Shroff and
Christian Skalka and
Scott F. Smith},
editor = {Zhong Shao},
title = {The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {2--18},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_2},
doi = {10.1007/978-3-540-76637-7\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ShroffSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ShroffST07,
author = {Paritosh Shroff and
Scott F. Smith and
Mark Thober},
title = {Dynamic Dependency Monitoring to Secure Information Flow},
booktitle = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8
July 2007, Venice, Italy},
pages = {203--217},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/CSF.2007.20},
doi = {10.1109/CSF.2007.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/ShroffST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmithT07,
author = {Scott F. Smith and
Mark Thober},
editor = {Michael W. Hicks},
title = {Improving usability of information flow security in java},
booktitle = {Proceedings of the 2007 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2007, San Diego, California, USA, June 14, 2007},
pages = {11--20},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1255329.1255332},
doi = {10.1145/1255329.1255332},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SmithT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuS06,
author = {Yu David Liu and
Scott F. Smith},
editor = {Peri L. Tarr and
William R. Cook},
title = {A formal framework for component deployment},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {325--344},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167502},
doi = {10.1145/1167473.1167502},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiuS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LuS06,
author = {Xiaoqi Lu and
Scott F. Smith},
editor = {Vugranam C. Sreedhar and
Steve Zdancewic},
title = {A microkernel virtual machine: : building security with clear interfaces},
booktitle = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
pages = {47--56},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134744.1134754},
doi = {10.1145/1134744.1134754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LuS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmithT06,
author = {Scott F. Smith and
Mark Thober},
editor = {Vugranam C. Sreedhar and
Steve Zdancewic},
title = {Refactoring programs to secure information flows},
booktitle = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
pages = {75--84},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134744.1134758},
doi = {10.1145/1134744.1134758},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SmithT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/SkalkaS05,
author = {Christian Skalka and
Scott F. Smith},
title = {Static use-based object confinement},
journal = {Int. J. Inf. Sec.},
volume = {4},
number = {1-2},
pages = {87--104},
year = {2005},
url = {https://doi.org/10.1007/s10207-004-0049-5},
doi = {10.1007/S10207-004-0049-5},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijisec/SkalkaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PottierSS05,
author = {Fran{\c{c}}ois Pottier and
Christian Skalka and
Scott F. Smith},
title = {A systematic approach to static access control},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {27},
number = {2},
pages = {344--382},
year = {2005},
url = {https://doi.org/10.1145/1057387.1057392},
doi = {10.1145/1057387.1057392},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PottierSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuS05,
author = {Yu David Liu and
Scott F. Smith},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Interaction-based programming with classages},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {191--209},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094827},
doi = {10.1145/1094811.1094827},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiuS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SkalkaSH05,
author = {Christian Skalka and
Scott F. Smith and
David Van Horn},
editor = {Agostino Cortesi and
Francesco Logozzo},
title = {A Type and Effect System for Flexible Abstract Interpretation of Java:
(Extended Abstract)},
booktitle = {Proceedings of the First International Workshop on Abstract Interpretation
of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January
21, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {131},
pages = {111--124},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.01.027},
doi = {10.1016/J.ENTCS.2005.01.027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SkalkaSH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SkalkaS04,
author = {Christian Skalka and
Scott F. Smith},
editor = {Wei{-}Ngan Chin},
title = {History Effects and Verification},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {107--128},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_8},
doi = {10.1007/978-3-540-30477-7\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SkalkaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiuS04,
author = {Yu David Liu and
Scott F. Smith},
editor = {Martin Odersky},
title = {Modules with Interfaces for Dynamic Linking and Communication},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {414--439},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_19},
doi = {10.1007/978-3-540-24851-4\_19},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LiuS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/SmithT02,
author = {Scott F. Smith and
Carolyn L. Talcott},
title = {Specification Diagrams for Actor Systems},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {4},
pages = {301--348},
year = {2002},
url = {https://doi.org/10.1023/A:1022934504959},
doi = {10.1023/A:1022934504959},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/SmithT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RinatS02,
author = {Ran Rinat and
Scott F. Smith},
editor = {Boris Magnusson},
title = {Modular Internet Programming with Cells},
booktitle = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
Malaga, Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2374},
pages = {257--280},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47993-7\_12},
doi = {10.1007/3-540-47993-7\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RinatS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SkalkaS02,
author = {Christian Skalka and
Scott F. Smith},
editor = {Gilles Barthe and
Peter Thiemann},
title = {Set Types and Applications},
booktitle = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
Germany, July 8, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {75},
pages = {75--94},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80780-1},
doi = {10.1016/S1571-0661(04)80780-1},
timestamp = {Wed, 07 Dec 2022 09:03:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SkalkaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WangS01,
author = {Tiejun Wang and
Scott F. Smith},
editor = {J{\o}rgen Lindskov Knudsen},
title = {Precise Constraint-Based Type Inference for Java},
booktitle = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference,
Budapest, Hungary, June 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2072},
pages = {99--117},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45337-7\_6},
doi = {10.1007/3-540-45337-7\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WangS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PottierSS01,
author = {Fran{\c{c}}ois Pottier and
Christian Skalka and
Scott F. Smith},
editor = {David Sands},
title = {A Systematic Approach to Static Access Control},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {30--45},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_3},
doi = {10.1007/3-540-45309-1\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/PottierSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SmithW00,
author = {Scott F. Smith and
Tiejun Wang},
editor = {Gert Smolka},
title = {Polyvariant Flow Analysis with Constrained Types},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {382--396},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_25},
doi = {10.1007/3-540-46425-5\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/SmithW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SkalkaS00,
author = {Christian Skalka and
Scott F. Smith},
editor = {Martin Odersky and
Philip Wadler},
title = {Static enforcement of security with types},
booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), Montreal, Canada, September
18-21, 2000},
pages = {34--45},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351240.351244},
doi = {10.1145/351240.351244},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SkalkaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2000,
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
publisher = {Kluwer},
year = {2000},
isbn = {0-7923-7923-3},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/SmithT99,
author = {Scott F. Smith and
Carolyn L. Talcott},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Modular Reasoning for Actor Specification Diagrams},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/SmithT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RinatMS99,
author = {Ran Rinat and
Menachem Magidor and
Scott F. Smith},
editor = {Brent Hailpern and
Linda M. Northrop and
A. Michael Berman},
title = {Correspondence Polymorphism for Object-Oriented Languages},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1999,
Denver, Colorado, USA, November 1-5, 1999},
pages = {167--186},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/320384.320399},
doi = {10.1145/320384.320399},
timestamp = {Wed, 30 Mar 2022 13:58:42 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RinatMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AghaMST97,
author = {Gul Agha and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
title = {A Foundation for Actor Computation},
journal = {J. Funct. Program.},
volume = {7},
number = {1},
pages = {1--72},
year = {1997},
url = {https://doi.org/10.1017/s095679689700261x},
doi = {10.1017/S095679689700261X},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AghaMST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MasonST96,
author = {Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
title = {From Operational Semantics to Domain Theory},
journal = {Inf. Comput.},
volume = {128},
number = {1},
pages = {26--47},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0061},
doi = {10.1006/INCO.1996.0061},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MasonST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PalsbergS96,
author = {Jens Palsberg and
Scott F. Smith},
title = {Constrained Types and Their Expressiveness},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {5},
pages = {519--527},
year = {1996},
url = {https://doi.org/10.1145/232706.232715},
doi = {10.1145/232706.232715},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PalsbergS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TrifonovS96,
author = {Valery Trifonov and
Scott F. Smith},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Subtyping Constrained Types},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {349--365},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_52},
doi = {10.1007/3-540-61739-6\_52},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/TrifonovS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SmithZ95,
author = {Scott F. Smith and
Amy E. Zwarico},
title = {Correct Compilation of Specifications to Deterministic Asynchronous
Circuits},
journal = {Formal Methods Syst. Des.},
volume = {7},
number = {3},
pages = {155--226},
year = {1995},
url = {https://doi.org/10.1007/BF01384076},
doi = {10.1007/BF01384076},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SmithZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HonsellMST95,
author = {Furio Honsell and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
title = {A Variable Typed Logic of Effects},
journal = {Inf. Comput.},
volume = {119},
number = {1},
pages = {55--90},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1077},
doi = {10.1006/INCO.1995.1077},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HonsellMST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Smith95,
author = {Scott F. Smith},
title = {Hybrid Partial-Total Type Theory},
journal = {Int. J. Found. Comput. Sci.},
volume = {6},
number = {3},
pages = {235--263},
year = {1995},
url = {https://doi.org/10.1142/S0129054195000159},
doi = {10.1142/S0129054195000159},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Smith95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/EifrigSTZ95,
author = {Jonathan Eifrig and
Scott F. Smith and
Valery Trifonov and
Amy E. Zwarico},
title = {An Interpretation of Typed {OOP} in a Language with State},
journal = {{LISP} Symb. Comput.},
volume = {8},
number = {4},
pages = {357--397},
year = {1995},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/EifrigSTZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/BruceCCESTLP95,
author = {Kim B. Bruce and
Luca Cardelli and
Giuseppe Castagna and
Jonathan Eifrig and
Scott F. Smith and
Valery Trifonov and
Gary T. Leavens and
Benjamin C. Pierce},
title = {On Binary Methods},
journal = {Theory Pract. Object Syst.},
volume = {1},
number = {3},
pages = {221--242},
year = {1995},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/BruceCCESTLP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/EifrigST95,
author = {Jonathan Eifrig and
Scott F. Smith and
Valery Trifonov},
editor = {Rebecca Wirfs{-}Brock},
title = {Sound Polymorphic Type Inference for Objects},
booktitle = {Proceedings of the Tenth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1995, Austin, Texas,
USA, October 15-19, 1995},
pages = {169--184},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/217838.217858},
doi = {10.1145/217838.217858},
timestamp = {Wed, 30 Mar 2022 13:57:45 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/EifrigST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EifrigST95,
author = {Jonathan Eifrig and
Scott F. Smith and
Valery Trifonov},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Type inference for recursively constrained types and its application
to {OOP}},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {132--153},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)80008-2},
doi = {10.1016/S1571-0661(04)80008-2},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EifrigST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/EifrigSTZ94,
author = {Jonathan Eifrig and
Scott F. Smith and
Valery Trifonov and
Amy E. Zwarico},
editor = {Jeff McKenna and
J. Eliot B. Moss and
Richard L. Wexelblat},
title = {Application of {OOP} Type Theory: State, Decidability, Integragtion},
booktitle = {Proceedings of the Ninth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1994, Portland, Oregon,
USA, October 23-27, 1994},
pages = {16--30},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/191080.191086},
doi = {10.1145/191080.191086},
timestamp = {Wed, 30 Mar 2022 13:55:40 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/EifrigSTZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ConstableS93,
author = {Robert L. Constable and
Scott F. Smith},
title = {Computational Foundations of Basic Recursive Function Theory},
journal = {Theor. Comput. Sci.},
volume = {121},
number = {1{\&}2},
pages = {89--112},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90085-8},
doi = {10.1016/0304-3975(93)90085-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ConstableS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SmithZ93,
author = {Scott F. Smith and
Amy E. Zwarico},
editor = {George J. Milne and
Laurence Pierre},
title = {Correct Compilation of Specifications to Deterministic Asynchronous
Circuits},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {179--190},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021723},
doi = {10.1007/BFB0021723},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/SmithZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AghaMST92,
author = {Gul Agha and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
editor = {Rance Cleaveland},
title = {Towards a Theory of Actor Computation},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {565--579},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084816},
doi = {10.1007/BFB0084816},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AghaMST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HonsellMST92,
author = {Furio Honsell and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Simone Martini and
Michael M. Richter},
title = {A Theory of Classes for a Functional Language with Effects},
booktitle = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
September 28 - October 2, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {702},
pages = {309--326},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56992-8\_18},
doi = {10.1007/3-540-56992-8\_18},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/HonsellMST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/SmithZ92,
author = {Scott F. Smith and
Amy E. Zwarico},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Provably Correct Synthesis of Asynchronous Circuits},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {237--260},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/SmithZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Smith91,
author = {Scott F. Smith},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Extracting Recursive Programs in Type Theory},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {341--349},
publisher = {Springer},
year = {1991},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/Smith91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/constructivity/Smith91,
author = {Scott F. Smith},
editor = {J. Paul Myers Jr. and
Michael J. O'Donnell},
title = {Reflective Semantics of Constructive Type Theory: Preliminary Report},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio,
Texas, USA, June 19-22, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {613},
pages = {33--45},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0021081},
doi = {10.1007/BFB0021081},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/constructivity/Smith91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Smith91,
author = {Scott F. Smith},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {From Operational to Denotational Semantics},
booktitle = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
pages = {54--76},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55511-0\_3},
doi = {10.1007/3-540-55511-0\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Smith91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Smith89,
author = {Scott F. Smith},
title = {Partial Objects in Type Theory},
school = {Cornell University, {USA}},
year = {1989},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Smith89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ConstableS88,
author = {Robert L. Constable and
Scott F. Smith},
title = {Computational Foundations of Basic Recursive Function Theory},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {360--371},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5133},
doi = {10.1109/LICS.1988.5133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ConstableS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ConstableS87,
author = {Robert L. Constable and
Scott F. Smith},
title = {Partial Objects In Constructive Type Theory},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {183--193},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Fri, 29 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ConstableS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068834,
author = {Robert L. Constable and
Stuart F. Allen and
Mark Bromley and
Rance Cleaveland and
J. F. Cremer and
Robert Harper and
Douglas J. Howe and
Todd B. Knoblock and
Nax Paul Mendler and
Prakash Panangaden and
James T. Sasaki and
Scott F. Smith},
title = {Implementing mathematics with the Nuprl proof development system},
publisher = {Prentice Hall},
year = {1986},
url = {http://dl.acm.org/citation.cfm?id=10510},
isbn = {978-0-13-451832-9},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
