|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 13 keywords
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Gérard P. Huet |
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 17-18, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Michael Stay |
ZIP Attacks with Reduced Known Plaintext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 8th International Workshop, FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers, pp. 125-134, 2001, Springer, 3-540-43869-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 177-185, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
huet's zippers, polynomial data structures, the third homomorphism theorem, divide-and-conquer |
33 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap more boilerplate: reflection, zips, and generalised casts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 244-255, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
type cast, reflection, generic programming, zippers |
31 | Romain Edelmann |
Efficient Parsing with Derivatives and Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
DOI RDF |
|
31 | Pierce Darragh, Michael D. Adams 0001 |
Parsing with zippers (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(ICFP), pp. 108:1-108:28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Vít Sefl |
Performance Analysis of Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.10926, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
31 | Romain Edelmann, Jad Hamza, Viktor Kuncak |
LL(1) Parsing with Derivatives and Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.12737, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
31 | Vít Sefl |
Performance Analysis of Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DECLARE ![In: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, pp. 215-229, 2019, Springer, 978-3-030-46713-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Pedro Martins 0001, João Paulo Fernandes, João Saraiva, Eric Van Wyk, Anthony Sloane |
Embedding attribute grammars and their extensions using functional zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 132, pp. 2-28, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Sébastien Ferré |
Bridging the Gap Between Formal Languages and Natural Languages with Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web. Latest Advances and New Domains - 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Proceedings, pp. 269-284, 2016, Springer, 978-3-319-34128-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Pedro Martins 0001 |
Embedding attribute grammars and their extensions using functional Zippers ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
31 | Kun Lu, Xin Zhang |
Multimodal Affect Recognition Using Boltzmann Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 96-D(11), pp. 2496-2499, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Nikolaj S. Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav 0001 |
Instantiations, Zippers and EPR Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (short papers) ![In: LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings, pp. 35-41, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | John R. Rabung, Mark Lotts |
Improving the Use of Cyclic Zippers in Finding Lower Bounds for van der Waerden Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 19(2), pp. 35, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Kun Lu, Yunde Jia |
Audio-visual emotion recognition using Boltzmann Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 19th IEEE International Conference on Image Processing, ICIP 2012, Lake Buena Vista, Orlando, FL, USA, September 30 - October 3, 2012, pp. 2589-2592, 2012, IEEE, 978-1-4673-2534-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Lila Kari, Benoît Masson |
Polyominoes simulating arbitrary-neighborhood zippers and tilings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(43), pp. 6083-6100, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Tom Schrijvers, Bruno C. d. S. Oliveira |
Monads, zippers and views: virtualizing the monad stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 32-44, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Lila Kari, Benoît Masson |
Polyominoes Simulating Arbitrary-Neighborhood Zippers and Tilings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1002.3769, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
31 | Michael D. Adams 0001 |
Scrap your zippers: a generic zipper for heterogeneous types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010, pp. 13-24, 2010, ACM, 978-1-4503-0251-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Éric Badouel, Bernard Fotsing, Rodrigue Tchougong |
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ICALP ![In: Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008, pp. 39-56, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Erich Bornberg-Bauer |
Computational approaches to identify Leucine Zippers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
German Conference on Bioinformatics ![In: Proceedings of the German Conference on Bioinformatics, GCB 1998, University of Cologne, Germany, October 1998, 1998, Oxford University Press. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
31 | Marc H. Brown, William E. Weihl |
Zippers: A Focus+Context Display of Web Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebNet ![In: Proceedings of WebNet 96 - World Conference of the Web Society San Francisco, California, USA, October 15-19, 1996, 1996, AACE. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
26 | Conor McBride |
Clowns to the left of me, jokers to the right (pearl): dissecting data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 287-295, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection |
26 | Richard M. Karp |
Algorithms for inferring cis-regulatory structures and protein interaction networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 45, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|