DBLife: Yitzhak Mandelbaum
dblife.cs.wisc.edu
from DBLP and Google Scholar. Related People David Walker; Robert Gruber; Alin Deutsch; Kevin Chen-Chuan Chang
TLDI Modular Information Hiding and Type-Safe Linking for C
people.eecs.berkeley.edu
Many people have worked on the PADS project, including Robert Gruber, Yitzhak Mandelbaum, and David Walker. START Conference Manager (V ) ...
Xinming's Publication
people.cs.ksu.edu
Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and David Walker. 3rd IFIP International Conference on Theoretical Computer Science (TCS 04), ...
Research Documents
www.cs.princeton.edu
Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary Fernandez, and Artem Gleyzer. Princeton University Technical Report TR July, PADS: An ...
David Walker - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Yitzhak Mandelbaum: Princeton University: 2006: According to our current on-line database, David Walker has 3 students and 3 descendants. We welcome any additional
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World...
books.google.de
DYNAMIC TYPING WITH DEPENDENT TYPES Xinming Ou, Gang Tan, Yitzhak Mandelbaum and David Walker Department of Computer Science Princeton ...
Programming Languages and Systems: Second Asian Symposium, APLAS
books.google.cz
Yitzhak Mandelbaum, David Walker, and Robert Harper. An effective theory of type refinements. In Proceedings of the the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP'03), Uppsala, Sweden, August François Pottier, Christian Skalka, and Scott Smith.
Yitzhak Mandelbaum - researchr profile publications
researchr.org
Viewing Publication from PADS/ML: a functional data description languageYitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer. POPL 2007: [doi] ...
CiteSeerX — Functional Specifications for Archiving Distributed Data
citeseerx.ist.psu.edu
BibTeX @MISC{Zhu_functionalspecifications, author = {Kenny Q. Zhu and Limin Jia and Daniel S. Dantas and Yitzhak Mandelbaum and David Walker and Kathleen Fisher and
Kathleen Fisher AT&T Labs Research Yitzhak Mandelbaum, David Walker...
pdfslide.net
Kathleen Fisher AT&T Labs Research Yitzhak Mandelbaum, David Walker Princeton. The Next 700 Data Description Languages. Review: Technical Challenges of Ad Hoc...
CiteSeerX — A Dual Semantics for the Data Description Calculus...
citeseerx.ist.psu.edu
BibTeX @MISC{Fisher07adual, author = {Kathleen Fisher and Yitzhak Mandelbaum and David Walker}, title = {A Dual Semantics for the Data Description Calculus (Extended
All web results to the name "Yitzhak Mandelbaum"
PPT - Kathleen Fisher AT&T Labs Research Yitzhak Mandelbaum, David...
www.slideserve.com
Kathleen Fisher AT&T Labs Research Yitzhak Mandelbaum, David Walker Princeton. The Next 700 Data Description Languages. Review: Technical Challenges of Ad...
PPT - The Next 700 Data Description Languages PowerPoint...
www.slideserve.com
The Next 700 Data Description Languages. Yitzhak Mandelbaum, David Walker Princeton University Kathleen Fisher AT&T Labs Research. Data, data everywhere!....
B629 Integrating Static and Dynamic Typing (Fall 2010)
www.ccs.neu.edu
8, M Dynamic Typing with Dependent Types Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and David Walker. IFIP Intl. Conf. on Theoretical Computer Science, Eric Holk ...
Trevor Jim: Papers
trevorjim.com
Trevor Jim, Yitzhak Mandelbaum, and David Walker. 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), January,
FW: [IcfpSC] Call for spam -- one more time-sensitive round
mail.haskell.org
... VI: 4:15-6: An effective theory of type refinements Yitzhak Mandelbaum (Princeton University), David Walker (Princeton=
PADS: Documentation
pads.cs.tufts.edu
Kathleen Fisher, Yitzhak Mandelbaum, David Walker. Journal of the ACM, Volumne 57 Issue 2, January PDF. Incremental Learning of System Log Formats. Kenny Q. Zhu, Kathleen Fisher, and David Walker. WASL, October Workshop proceedings reprinted in SIGOPS Operating Systems Review, Volume
Argus Cyber Security Lab
www.arguslab.org
Dynamic typing with dependent types. Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and David Walker. 3rd IFIP International Conference on Theoretical Computer Science (TCS 04), Toulouse, France, August
Xinming's Publication
cse.usf.edu
Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and David Walker. 3rd IFIP International Conference on Theoretical Computer Science (TCS 04), Toulouse, France, August Theorem proving using lazy proof explication. Cormac Flanagan, Rajeev Joshi, Xinming Ou, and James B. Saxe. 15th Computer-Aided Verification ...
type refinement in nLab
ncatlab.org
Susumu Hayashi, Logic of refinement types, Proceedings of the Workshop on Types for Proofs and Programs, 1993, pp. 157–172; Joshua Dunfield, Combining Two Forms of Type Refinements, 2002, (report); Yitzhak Mandelbaum, David Walker, Robert Harper, An Effective Theory of Type Refinements, (pdf) ...
Related search requests for Yitzhak Mandelbaum
| Mary Fernandez Avraham Berger Artem Gleyzer |
People Forename "Yitzhak" (77) Name "Mandelbaum" (158) |
sorted by relevance / date