|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 16 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Trevor Jim, Yitzhak Mandelbaum |
Delayed semantic actions in Yakker.  |
LDTA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Jim, Yitzhak Mandelbaum |
A New Method for Dependent Parsing. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Jim, Yitzhak Mandelbaum |
Efficient Earley Parsing with Regular Right-hand Sides. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
The next 700 data description languages. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Jim, Yitzhak Mandelbaum, David Walker |
Semantics and algorithms for data-dependent grammars. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf |
| 1 | Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker |
Language support for processing distributed ad hoc data. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
distributed data sources, declarative language |
| 1 | Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum |
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer |
PADS/ML: a functional data description language. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
functional programming, domain-specific languages, ML, parsing, modules, dependent types, printing, data description languages |
| 1 | Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
The next 700 data description languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, dependent types, data description language |
| 1 | Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng |
PADS: an end-to-end system for processing ad hoc data. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum |
PADX: Querying Large-scale Ad Hoc Data with XQuery. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
LAUNCHPADS: A System for Processing Ad Hoc Data. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker |
Dynamic Typing with Dependent Types. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yitzhak Mandelbaum, David Walker, Robert Harper |
An effective theory of type refinements. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yitzhak Mandelbaum, David Walker, Robert Harper |
An effective theory of type refinements. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
effectful computation, type refinement, linear logic, type theory, local reasoning |
| 1 | Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li |
ESP: A Language for Programmable Devices. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")