Search results for "zippers"

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.	PADL	2003	DBLP DOI BibTeX RDF
53	Michael Stay	ZIP Attacks with Reduced Known Plaintext.	FSE	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.	POPL	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.	ICFP	2004	DBLP DOI BibTeX RDF	type cast, reflection, generic programming, zippers
31	Romain Edelmann	Efficient Parsing with Derivatives and Zippers.		2021	DOI RDF
31	Pierce Darragh, Michael D. Adams 0001	Parsing with zippers (functional pearl).	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
31	Vít Sefl	Performance Analysis of Zippers.	CoRR	2019	DBLP BibTeX RDF
31	Romain Edelmann, Jad Hamza, Viktor Kuncak	LL(1) Parsing with Derivatives and Zippers.	CoRR	2019	DBLP BibTeX RDF
31	Vít Sefl	Performance Analysis of Zippers.	DECLARE	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.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
31	Sébastien Ferré	Bridging the Gap Between Formal Languages and Natural Languages with Zippers.	ESWC	2016	DBLP DOI BibTeX RDF
31	Pedro Martins 0001	Embedding attribute grammars and their extensions using functional Zippers		2014	RDF
31	Kun Lu, Xin Zhang	Multimodal Affect Recognition Using Boltzmann Zippers.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
31	Nikolaj S. Bjørner, Arie Gurfinkel, Konstantin Korovin, Ori Lahav 0001	Instantiations, Zippers and EPR Interpolation.	LPAR (short papers)	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.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
31	Kun Lu, Yunde Jia	Audio-visual emotion recognition using Boltzmann Zippers.	ICIP	2012	DBLP DOI BibTeX RDF
31	Lila Kari, Benoît Masson	Polyominoes simulating arbitrary-neighborhood zippers and tilings.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
31	Tom Schrijvers, Bruno C. d. S. Oliveira	Monads, zippers and views: virtualizing the monad stack.	ICFP	2011	DBLP DOI BibTeX RDF
31	Lila Kari, Benoît Masson	Polyominoes Simulating Arbitrary-Neighborhood Zippers and Tilings	CoRR	2010	DBLP BibTeX RDF
31	Michael D. Adams 0001	Scrap your zippers: a generic zipper for heterogeneous types.	ICFP-WGP	2010	DBLP DOI BibTeX RDF
31	Éric Badouel, Bernard Fotsing, Rodrigue Tchougong	Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers.	MSFP@ICALP	2008	DBLP DOI BibTeX RDF
31	Erich Bornberg-Bauer	Computational approaches to identify Leucine Zippers.	German Conference on Bioinformatics	1998	DBLP BibTeX RDF
31	Marc H. Brown, William E. Weihl	Zippers: A Focus+Context Display of Web Pages.	WebNet	1996	DBLP BibTeX RDF
26	Conor McBride	Clowns to the left of me, jokers to the right (pearl): dissecting data structures.	POPL	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.	RECOMB	2004	DBLP DOI BibTeX RDF