Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yitzhak Mandelbaum
@inproceedings{DBLP:conf/esop/JimM11,
author = {Trevor Jim and
Yitzhak Mandelbaum},
editor = {Gilles Barthe},
title = {A New Method for Dependent Parsing},
booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
{ESOP} 2011, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6602},
pages = {378--397},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_20},
doi = {10.1007/978-3-642-19718-5\_20},
timestamp = {Sat, 19 Oct 2019 20:28:04 +0200},
biburl = {https://dblp.org/rec/conf/esop/JimM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/JimM11,
author = {Trevor Jim and
Yitzhak Mandelbaum},
editor = {Claus Brabrand and
Eric Van Wyk},
title = {Delayed semantic actions in Yakker},
booktitle = {Language Descriptions, Tools and Applications, {LDTA} 2011, Saarbr{\"{u}}cken,
Germany, March 26-27, 2011. Proceeding},
pages = {8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1988783.1988791},
doi = {10.1145/1988783.1988791},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/JimM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FisherMW10,
author = {Kathleen Fisher and
Yitzhak Mandelbaum and
David Walker},
title = {The next 700 data description languages},
journal = {J. {ACM}},
volume = {57},
number = {2},
pages = {10:1--10:51},
year = {2010},
url = {https://doi.org/10.1145/1667053.1667059},
doi = {10.1145/1667053.1667059},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/FisherMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JimMW10,
author = {Trevor Jim and
Yitzhak Mandelbaum and
David Walker},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Semantics and algorithms for data-dependent grammars},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {417--430},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706347},
doi = {10.1145/1706299.1706347},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JimMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ZhuDFJMPW09,
author = {Kenny Qili Zhu and
Daniel S. Dantas and
Kathleen Fisher and
Limin Jia and
Yitzhak Mandelbaum and
Vivek S. Pai and
David Walker},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Language support for processing distributed ad hoc data},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {243--254},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599440},
doi = {10.1145/1599410.1599440},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/ZhuDFJMPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JimM10,
author = {Trevor Jim and
Yitzhak Mandelbaum},
editor = {Torbj{\"{o}}rn Ekman and
Jurgen J. Vinju},
title = {Efficient Earley Parsing with Regular Right-hand Sides},
booktitle = {Proceedings of the Ninth Workshop on Language Descriptions Tools and
Applications, {LDTA} 2009, York, UK, March 27-28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {7},
pages = {135--148},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.037},
doi = {10.1016/J.ENTCS.2010.08.037},
timestamp = {Thu, 01 Dec 2022 11:01:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JimM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FernandezFFGM08,
author = {Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
J. Nathan Foster and
Michael Greenberg and
Yitzhak Mandelbaum},
editor = {Paul Hudak and
David Scott Warren},
title = {A Generic Programming Toolkit for {PADS/ML:} First-Class Upgrades
for Third-Party Developers},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {133--149},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_10},
doi = {10.1007/978-3-540-77442-6\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/FernandezFFGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MandelbaumFWFG07,
author = {Yitzhak Mandelbaum and
Kathleen Fisher and
David Walker and
Mary F. Fern{\'{a}}ndez and
Artem Gleyzer},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {{PADS/ML:} a functional data description language},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {77--83},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190231},
doi = {10.1145/1190216.1190231},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MandelbaumFWFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/FernandezFGM06,
author = {Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
Robert Gruber and
Yitzhak Mandelbaum},
editor = {Giuseppe Castagna and
Mukund Raghavachari},
title = {{PADX:} Querying Large-scale Ad Hoc Data with XQuery},
booktitle = {{PLAN-X} 2006 Informal Proceedings, Charleston, South Carolina, USA,
January 14, 2006},
pages = {24--35},
publisher = {BRICS, Department of Computer Science, University of Aarhus},
year = {2006},
timestamp = {Mon, 18 Jun 2018 20:38:33 +0200},
biburl = {https://dblp.org/rec/conf/planX/FernandezFGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/DalyFFMW06,
author = {Mark Daly and
Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
Yitzhak Mandelbaum and
David Walker},
editor = {Giuseppe Castagna and
Mukund Raghavachari},
title = {{LAUNCHPADS:} {A} System for Processing Ad Hoc Data},
booktitle = {{PLAN-X} 2006 Informal Proceedings, Charleston, South Carolina, USA,
January 14, 2006},
pages = {90--91},
publisher = {BRICS, Department of Computer Science, University of Aarhus},
year = {2006},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/DalyFFMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FisherMW06,
author = {Kathleen Fisher and
Yitzhak Mandelbaum and
David Walker},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {The next 700 data description languages},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {2--15},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111039},
doi = {10.1145/1111037.1111039},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FisherMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/DalyMWFFGZ06,
author = {Mark Daly and
Yitzhak Mandelbaum and
David Walker and
Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
Robert Gruber and
Xuan Zheng},
editor = {Surajit Chaudhuri and
Vagelis Hristidis and
Neoklis Polyzotis},
title = {{PADS:} an end-to-end system for processing ad hoc data},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Chicago, Illinois, USA, June 27-29, 2006},
pages = {727--729},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142473.1142568},
doi = {10.1145/1142473.1142568},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/DalyMWFFGZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/OuTMW04,
author = {Xinming Ou and
Gang Tan and
Yitzhak Mandelbaum and
David Walker},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Dynamic Typing with Dependent Types},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {437--450},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_34},
doi = {10.1007/1-4020-8141-3\_34},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/OuTMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MandelbaumWH03,
author = {Yitzhak Mandelbaum and
David Walker and
Robert Harper},
editor = {Colin Runciman and
Olin Shivers},
title = {An effective theory of type refinements},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {213--225},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944725},
doi = {10.1145/944705.944725},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MandelbaumWH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KumarMYL01,
author = {Sanjeev Kumar and
Yitzhak Mandelbaum and
Xiang Yu and
Kai Li},
editor = {Michael Burke and
Mary Lou Soffa},
title = {{ESP:} {A} Language for Programmable Devices},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {309--320},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378862},
doi = {10.1145/378795.378862},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KumarMYL01.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 2024-04-09 20:45 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:
