Tag zipper [28 articles] Export

Recent papers classified by the tag zipper.

	Clowns to the left of me, jokers to the right (pearl): dissecting data structures [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 287-295. by Conor Mcbride posted to zipper by pedagand on 2009-12-05 15:15:56 as along with 3 people spl bobob beete
	Lazy Functional Incremental Parsing [My Copy] In Haskell 2009 (2009), pp. 49-60. by Jean-Philippe Bernardy posted to zipper submit-incremental parsers lazy-evaluation incremental editors by spl on 2009-10-31 13:46:12 as along with 1 person robertjohnsimmons
	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by Conor McBride posted to zipper possible-concertrg-paper derivative by robertjohnsimmons to the group ConcertRG on 2009-10-19 14:54:15 as along with 7 people and 1 group mattmight pedagand dherman eaubin zednenem josefs ryanc NU-PRL
	An Applicative Control-Flow Graph Based on Huet's Zipper [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 105-126. by N. Ramsey, J. Dias posted to zipper program-analysis control-flow by robertjohnsimmons on 2009-10-14 03:27:45 as along with 3 people and 1 group dankamongmen pedagand spl ConcertRG
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by T. GÉRARD HUE posted to zipper by jcreed on 2009-10-11 21:05:37 as along with 10 people and 2 groups robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand mcclurmc namin sclv functional programming Lambda the Ultimate
	Clowns to the left of me, jokers to the right (pearl): dissecting data structures [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 287-295. by Conor McBride posted to zipper derivative datatypes by robertjohnsimmons on 2009-10-11 18:48:29 as along with 1 group ConcertRG
	A Few Constructions on Constructors [My Copy] Types for Proofs and Programs (2006), pp. 186-200. by Conor McBride, Healfdene Goguen, James McKinna posted to zipper structural-induction functional-programming datatypes case-analysis by robertjohnsimmons on 2009-10-11 18:47:10 as
	Types as Graphs: Continuations in Type Logical Grammar [My Copy] Journal of Logic, Language and Information, Vol. 15, No. 4. (1 November 2006), pp. 331-370. by Chris Barker, Chung-chieh Shan posted to zipper type-logical-grammar natural-language graphs continuations by robertjohnsimmons on 2009-10-11 18:43:48 as
	Derivatives of Containers [My Copy] Typed Lambda Calculi and Applications (2003), pp. 1086-1086. by Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride posted to zipper category-theory abstract-containers by robertjohnsimmons on 2009-10-11 18:42:33 as along with 1 person pedagand
	Functional pearl: i am not a number--i am a free variable [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9. by Conor McBride, James McKinna posted to zipper free-variables de-bruijn-index by robertjohnsimmons on 2009-10-11 18:40:45 as along with 4 people mvermaat eaubin kavabean msakai
	Grammatical Framework [My Copy] Journal of Functional Programming, Vol. 14, No. 02. (March 2004), pp. 145-189. by A. Aarne Rant posted to zipper logical-framework by robertjohnsimmons on 2009-10-11 18:35:36 as along with 5 people zednenem josefs kavabean bringert richardlp
	Generic Programming with Fixed Points for Mutually Recursive Datatypes [My Copy] In ICFP 2009 (2009), pp. 233-244. by Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring posted to zipper submit-incremental submit-gdiff recursion mutual-recursion libraries generics fixed-point datatype-generic by spl on 2009-09-07 11:04:23 as
	Thermodynamic Selection of Steric Zipper Patterns in the Amyloid Cross-β Spine [My Copy] PLoS Comput Biol, Vol. 5, No. 9. (4 September 2009), e1000492. by Jiyong Park, Byungnam Kahng, Wonmuk Hwang posted to zipper thermodynamics structure simulations amyloid by chiufanlee on 2009-09-04 08:40:13 as along with 1 person aip
	Ordered and Oriented Supramolecular n/p-Heterojunction Surface Architectures: Completion of the Primary Color Collection [My Copy] Journal of the American Chemical Society, Vol. 131, No. 31. (12 August 2009), pp. 11106-11116. by Ravuri S. K. Kishore, Oksana Kel, Natalie Banerji, et al.Daniel Emery, Guillaume Bollot, Jiri Mareda, Alberto Gomez-Casado, Pascal Jonkheijm, Jurriaan Huskens, Plinio Maroni, Michal Borkovec, Eric Vauthey, Naomi Sakai, Stefan Matile posted to colors donor_acceptor fluorophore jacs pop-ndi zipper by marissalee on 2009-08-11 11:52:09 as
	Functional pearl: i am not a number--i am a free variable [My Copy] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 1-9. by Conor Mcbride, James Mckinna posted to de-bruijn-index implementation lambda-calculus locally-nameless zipper by robertjohnsimmons on 2009-08-07 13:58:45 as along with 2 people pedagand spl
	Type-indexed data types [My Copy] MPC 2002 (2002), pp. 77-91. by Ralf Hinze, Johan Jeuring, Andres Löh posted to zipper type-indexed generics generic-haskell datatype-generic by spl on 2009-05-09 20:15:03 as
	The Derivative of a Regular Type is its Type of One-Hole Contexts [My Copy] (2001) by Conor McBride posted to zipper submit-incremental generics by spl on 2009-03-20 22:11:01 as along with 2 people kalmar SamB
	The Zipper [My Copy] J. of Functional Programming, Vol. 7, No. 05. (1997), pp. 549-554. by Gérard Huet posted to zipper submit-incremental ocaml memoization data-structures by spl on 2009-03-20 21:58:50 as
	Cell selectivity of an antimicrobial peptide melittin diastereomer with D-amino acid in the leucine zipper sequence. [My Copy] Journal of biochemistry and molecular biology, Vol. 40, No. 6. (30 November 2007), pp. 1090-1094. by W. L. Zhu, Y. H. Nan, K. S. Hahm, S. Y. Shin posted to cell leucine melittin selectivity zhu07pdf zipper by paulschlesinger on 2009-03-11 19:44:27 as
	Type-indexed data types [My Copy] Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 117-151. by Ralf Hinze, Johan Jeuring, Andres Löh posted to datatype-generic generic-haskell generics type-indexed zipper by spl on 2009-02-06 16:31:41 as along with 2 people hamish yallop
	Preformed secondary structure drives the association reaction of GCN4-p1, a model coiled-coil system. [My Copy] Journal of molecular biology, Vol. 296, No. 4. (3 March 2000), pp. 1105-1116. by J. A. Zitzewitz, B. Ibarra-Molero, D. R. Fishel, K. L. Terry, C. R. Matthews posted to diffusion_collision folding gcn4 leucine_zipper trigger_sequence two_state xform zipper by yarikson on 2008-12-20 18:23:00 as along with 1 person melting
	A Feedback Regulatory Module Formed by LITTLE ZIPPER and HD-ZIPIII Genes [My Copy] Plant Cell, Vol. 19, No. 11. (1 November 2007), pp. 3379-3390. by Stephan Wenkel, John Emery, Bi-Huei Hou, Matthew M. Evans, M. K. Barton posted to leucine_zipper plants regulatory_network signaling_network zipper by yarikson on 2008-12-19 14:14:31 as along with 2 people bjbecerra p2vani
	Generic Haskell: Applications [My Copy] Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 57-96. by Ralf Hinze, Johan Jeuring posted to zipper xml type-indexed tries generics generic-haskell dictionaries datatype-generic by spl on 2008-04-23 11:02:06 as
	Weaving a web [My Copy] Journal of Functional Programming, Vol. 11, No. 6. (November 2001), pp. 681-689. by Ralf Hinze, Johan Jeuring posted to haskell web zipper by spl on 2008-01-25 18:58:21 as
	Cross-species annotation of basic leucine zipper factor interactions: Insight into the evolution of closed interaction networks. [My Copy] Mol Biol Evol, Vol. 23, No. 8. (August 2006), pp. 1480-1492. by C. D. Deppmann, R. S. Alvania, E. J. Taparowsky posted to leucine zipper by hplatero on 2007-11-21 19:44:06 as along with 3 people kgutwin cjeans gwenknight
	Weaving a Web [My Copy] by Ralf Hinze, Johan Jeuring posted to functional techniques web zipper by conal on 2007-10-31 02:20:58 as
	A molecular "zipper" for microtubules. [My Copy] Cell, Vol. 127, No. 7. (29 December 2006), pp. 1302-1304. by M. Kikkawa, Z. Metlagel posted to lattice microtubule zipper by rahulthadani on 2007-07-02 10:59:36 as
	Why substrate depletion has apparent first-order kinetics in enzymatic digestion [My Copy] Computational Biology and Chemistry, Vol. 30, No. 3. (June 2006), pp. 209-214. by J. Srividhya, Santiago Schnell posted to apparent behavior digestion distinguishability enzyme first-order mechanism one-by-one zipper by schnell on 2006-10-21 00:26:26 as along with 1 group IU_Informatics_CX

Note: You may cite this page as: http://www.citeulike.org/tag/zipper

generics	6
datatype-generic	5
submit-incremental	4
de-bruijn-index	3
derivative	3
generic-haskell	3
leucine	3
type-indexed	3
apparent	2
behavior	2
category-theory	2
control-flow	2
datatypes	2
digestion	2
distinguishability	2
enzyme	2
first-order	2
free-variables	2
functional-programming	2
haskell	2
incremental	2
leucine_zipper	2
mechanism	2
one-by-one	2
web	2
abstract-containers	1
abstract-interpretation	1
amyloid	1
bifunctors	1
caml	1
case-analysis	1
cell	1
colors	1
compiler	1
compilers	1
continuations	1
control-flow-graph	1
data-structures	1
derivatives	1
dictionaries	1
diffusion_collision	1
domain	1
donor_acceptor	1
editors	1
epigram	1
fixed-point	1
fluorophore	1
folding	1
functional	1
functors	1
gcn4	1
graphs	1
implementation	1
jacs	1
lambda-calculus	1
lattice	1
lazy-evaluation	1
libraries	1
locally-nameless	1
logical-framework	1
melittin	1
memoization	1
microtubule	1
ml	1
mutual-recursion	1
natural-language	1
ocaml	1
optimization	1
par-4	1
parsers	1
plants	1
pop-ndi	1
possible-concertrg-paper	1
program-analysis	1
project-pre-phd	1
recursion	1
regulatory_network	1
selectivity	1
signaling_network	1
simulations	1
structural-induction	1
structure	1
submit-gdiff	1
techniques	1
thermodynamics	1
tries	1
trigger_sequence	1
two_state	1
type-logical-grammar	1
xform	1
xml	1
zhu07pdf	1

Tag zipper [28 articles] Export

Related Tags