Tag recursion [61 articles] Export

Recent papers classified by the tag recursion.

	An application of co-inductive types in Coq: Verification of the alternating bit protocol [My Copy] Types for Proofs and Programs (1996), pp. 135-152. by Eduardo Giménez posted to verification theorem-proving recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 14:02:51 as
	A Tutorial on Recursive Types in Coq [My Copy] INRIA ROCQUENCOURT (1998) by Eduardo Giménez posted to types recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 13:34:58 as
	Problems in comprehending recursion and suggested solutions [My Copy] In ITiCSE '01: Proceedings of the 6th annual conference on Innovation and technology in computer science education (2001), pp. 25-28. by Raja Sooriamurthi posted to recursion pedagogy by robertjohnsimmons on 2009-11-02 18:43:46 as
	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
	Incomputability [My Copy] ACM Computing Surveys, Vol. 4, No. 3. (1972), pp. 169-178. by C. A. R. Hoare, D. C. S. Allison posted to recursion paradox computability 1972 by michaelbanks on 2009-08-20 17:56:35 as
	A predicative analysis of structural recursion [My Copy] J. Funct. Program., Vol. 12, No. 1. (2002), pp. 1-41. by Andreas Abel, Thorsten Altenkirch posted to termination rg-2009 recursion program-analysis by robertjohnsimmons to the group ConcertRG on 2009-08-18 07:43:56 as
	Galois Connections and Fixed Point Calculus [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150. by Roland Backhouse posted to algebra category-theory fixed-point fusion galois-connections program-calculation recursion by spl on 2009-07-25 18:36:28 as along with 6 people jirak michaelbanks neelk neelkrishnaswami leonardo Scis0000002
	Using Circular Programs to Eliminate Multiple Traversals of Data [My Copy] Acta Informatica, Vol. 21, No. 3. (1 October 1984), pp. 239-250. by R. S. Bird posted to traversals submit-incremental repmin recursion lazy-evaluation functional-programming circularity by spl on 2009-07-23 09:04:46 as along with 1 person tautologico
	Tree traversal in C without recursion [My Copy] C/C++ Users J., Vol. 18, No. 7. (July 2000), pp. 56-59. by Valery Creux posted to algorithm code graph non-recursive recursion sample source traversal tree by hgfernan on 2009-07-11 18:32:47 as along with 1 person n00c
	Cross Section Evaluation by Spinor Integration [My Copy] (5 Jul 2009) by Bo Feng, Rijun Huang, Yin Jia, Mingxing Luo, Honghui Wang posted to recursion by YingFan on 2009-07-07 14:26:15 as along with 2 people fwangk flirly
	Recurrent Bayesian Reasoning in Probabilistic Neural Networks [My Copy] Artificial Neural Networks – ICANN 2007 (2007), pp. 129-138. by Jiří Grim, Jan Hora posted to cycle inference network neural probability reasoning recurrent recursion by kuaaaaa on 2009-06-19 10:55:20 as
	Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity [My Copy] MICAI 2005: Advances in Artificial Intelligence (2005), pp. 214-223. by Alexander Tulupyev, Sergey Nikolenko posted to bayesian consistency cycle inference network probability recursion structure by kuaaaaa on 2009-06-19 10:51:15 as
	A Transformation System for Developing Recursive Programs [My Copy] Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67. by R. M. Burstall, John Darlington posted to 1977 program recursion refinement transformation by michaelbanks on 2009-05-18 17:59:20 as
	Gödel, Escher, Bach: An Eternal Golden Braid [My Copy] (01 January 1999) by Douglas R. Hofstadter posted to 1979 art artificial-intelligence book decidability godel logic mathematics music programming proof recursion by michaelbanks on 2009-05-14 14:18:44 as along with 22 people and 4 groups chihchun_chen robotact Aubrey trm005 Adso asekerci byronf dayjm pchiusano tystl caporaso paulclinger spirit_of_numenor joshuashen fawxtin grisogono germoglio volkansevim spinaltap526 dlobo edvin NitinCR biomedical-nlp ComplexAdaptiveSystems DSTO-CAS GEB
	Reconsidering recursion in syntactic theory [My Copy] Lingua, Vol. 117, No. 10. (October 2007), pp. 1784-1800. by Marcus Tomalin posted to language natural recursion by rawphi on 2009-04-22 10:18:02 as along with 2 people hukkinen tbloomf
	On the implicit acquisition of a context-free grammar by a simple recurrent neural network [My Copy] Neurocomputing, Vol. 71, No. 7-9. (March 2008), pp. 1527-1537. by B. Cartling posted to network neural recurrant recursion by rawphi on 2009-04-22 10:12:38 as
	Recursion schemes from comonads [My Copy] Nordic J. of Computing, Vol. 8, No. 3. (Fall 2001), pp. 366-390. by Tarmo Uustalu, Varmo Vene, Alberto Pardo posted to catamorphism comonads haskell histomorphism recursion zygomorphism by spl on 2009-04-02 21:59:31 as along with 3 people and 1 group greenrd zednenem EdwardKmett SRG_at_UCD
	Sorting Morphisms [My Copy] Advanced Functional Programming (1999), pp. 1-27. by Lex Augusteijn posted to anamorphism catamorphism data-structures hylomorphism paramorphism recursion sorting by spl on 2009-04-01 13:55:34 as
	Toward a connectionist model of recursion in human linguistic performance [My Copy] Cognitive Science, Vol. 23, No. 2. (6 April 1999), pp. 157-205. by Morten H. Christiansen, Nick Chater posted to connectionist linguistics model recursion by rawphi on 2009-03-16 14:13:43 as along with 3 people kimlab preeder jamalex
	Substitution revisited [My Copy] Theor. Comput. Sci., Vol. 59, No. 3. (August 1988), pp. 317-325. by Allen Stoughton posted to binding lambda-calculus literature-study recursion syntax by mvermaat on 2009-03-03 14:02:02 as
	The Emergence of Compositionality, Hierarchy and Recursion in Peer-to-Peer Interactions [My Copy] In Proceedings of the 7th International Conference on the Evolution of Language (March 2008), pp. 75-82. by Joachim De Beule edited by A. D. M. Smith, K. Smith, Ferrer posted to alear construction fcg fluid grammar hierarchy recursion by alear on 2009-03-02 15:21:48 as
	Computability and Recursion [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 3. (1996), pp. 284-321. by Robert I. Soare posted to church computability godel history lambda-calculus recursion turing by spl on 2009-03-02 12:24:28 as along with 2 people hugonobrega eporreca
	Structural recursion as a query language [My Copy] In DBPL3: Proceedings of the third international workshop on Database programming languages : bulk types \& persistent data (1992), pp. 9-19. by Val B. Tannen, Peter Buneman, Shamim Naqvi posted to dbpl recursion semistructured by myui on 2009-02-18 17:40:45 as
	The Faculty of Language: What Is It, Who Has It, and How Did It Evolve? [My Copy] Science, Vol. 298, No. 5598. (22 November 2002), pp. 1569-1579. by Marc D. Hauser, Noam Chomsky, W. Tecumseh Fitch posted to evolution faculty language recursion by tessauva on 2009-01-16 15:02:42 as along with 17 people and 2 groups almadana cacalaudi pateld5cardiff darian michaelfairley garyfeng kechambers ketangli grzegorz bayesian junwang4 preeder soramame_0518 hukkinen npuzzle subhacom annasafar ReadingLab ur-cls
	The combinatorics of Bogoliubov's recursion in renormalization [My Copy] (10 Dec 2008) by Kurusch Ebrahimi-Fard, Dominique Manchon posted to combinatorics recursion renormalization by pqnelson on 2008-12-18 05:49:22 as
	Learning, Bottlenecks and the Evolution of Recursive Syntax [My Copy] In Linguistic Evolution through Language Acquisition: Formal and Computational Models (2002), pp. 173-204. by Simon Kirby edited by Ted Briscoe posted to compositionality evolution language recursion syntax by krisjack on 2008-12-12 22:35:03 as along with 2 people and 1 group garyfeng jorisbleys ReadingLab
	Inductive families [My Copy] Formal Aspects of Computing, Vol. 6 (1994), pp. 440-465. by Peter Dybjer posted to dependent inductive recursion types by byorgey on 2008-10-09 18:59:29 as
	A General Framework for Priority Arguments [My Copy] The Bulletin of Symbolic Logic, Vol. 1, No. 2. (1995), pp. 189-201. by Steffen Lempp, Manuel Lerman posted to recursion by hubris on 2008-09-13 00:21:38 as
	Formal Reductions of the General Combinatorial Decision Problem [My Copy] American Journal of Mathematics, Vol. 65, No. 2. (1943), pp. 197-215. by Emil L. Post posted to recursion by hubris on 2008-09-13 00:18:42 as
	Fold and Unfold for Program Semantics [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288. by Graham Hutton posted to denotational-semantics fold operational-semantics recursion semantics unfold by spl on 2008-08-18 11:12:56 as along with 3 people and 1 group draganigajic mcclurmc msakai Lambda the Ultimate
	When is a function a fold or an unfold? [My Copy] Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 146-160. by Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch posted to fold recursion set-theory unfold by spl on 2008-08-08 16:37:29 as
	The evolution of the language faculty: clarifications and implications. [My Copy] Cognition, Vol. 97, No. 2. (September 2005) by W. T. Fitch, M. D. Hauser, N. Chomsky posted to animal evolution language of recursion by tbloomf on 2008-07-22 18:22:16 as along with 5 people and 2 groups azeroiu garyfeng kechambers grzegorz bayesian ReadingLab ur-cls
	Recursive syntactic pattern learning by songbirds [My Copy] Nature, Vol. 440, No. 7088. (2006), pp. 1204-1207. by Timothy Q. Gentner, Kimberly M. Fenn, Daniel Margoliash, Howard C. Nusbaum posted to birdsong recursion recursive songbird by soramame_0518 on 2008-05-24 10:39:53 as along with 3 people tessauva mrkrause junwang4
	Algebra of Programming, The [My Copy] (26 September 1996) by Richard Bird, Oege de Moor posted to category fold functional-programming recursion theory unfold by voronov on 2008-04-27 07:55:47 as along with 3 people jimburton voigt oryp6518
	Computability Theory [My Copy] (17 November 2003) by Barry S. Cooper posted to algorithms computability recursion theory by JakubSzymanik on 2008-04-25 12:13:35 as along with 1 person jimburton
	Walther Recursion [My Copy] In CADE-13: Proceedings of the 13th International Conference on Automated Deduction (1996), pp. 643-657. by David A. Mcallester, Kostas Arkoudas posted to program recursion verification by robdockins on 2008-04-20 22:24:48 as
	Recursive functions [My Copy] by Rozsa Peter posted to recursion by hubris on 2008-04-09 08:45:54 as
	The Why of Y [My Copy] SIGPLAN Lisp Pointers, Vol. 2, No. 2. (1988), pp. 15-25. by Richard P. Gabriel posted to lambda-calculus recursion by mvermaat on 2008-03-21 17:20:30 as
	Recursion Theory (Lecture Notes In Logic, 1) (Lecture Notes in Logic, 1.) [My Copy] (15 January 2001) by Joseph R. Shoenfield posted to recursion by hubris on 2008-03-14 08:25:10 as
	Abstract versus concrete computation on metric partial algebras [My Copy] ACM Trans. Comput. Logic, Vol. 5, No. 4. (October 2004), pp. 611-668. by J. V. Tucker, J. I. Zucker posted to effective recursion by hubris on 2008-03-14 08:07:20 as
	A type system for well-founded recursion [My Copy] (2004) by D. Dreyer posted to modularity modules recursion standard-ml by gkuan on 2008-03-05 17:06:10 as along with 1 person and 1 group dherman NU-PRL
	Recursive structures for standard ML [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 50-61. by Claudio V. Russo posted to modules recursion by gkuan on 2008-03-05 16:53:22 as along with 1 person and 1 group dherman NU-PRL
	The Faculty of Language: What Is It, Who Has It, and How Did It Evolve? [My Copy] Science, Vol. 298, No. 5598. (2002), pp. 1569-1579. by Marc D. Hauser, Noam Chomsky, Tecumseh W. Fitch posted to communication comparative-psychology compositionality culture evolution language recursion by jasonn on 2008-02-11 16:14:00 as along with 1 person lmaurits
	A Tutorial on (Co)Algebras and (Co)Induction [My Copy] Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259. by Bart Jacobs, Jan Rutten posted to maths recursion by brothers on 2008-02-04 01:48:17 as along with 8 people and 1 group mahler madhadron cpfr benchambers kalmar mmarcus marcinzalewski tautologico Rightscom
	Recursive Petri nets [My Copy] Acta Informatica, Vol. 44, No. 7. (10 December 2007), pp. 463-508. by Serge Haddad, Denis Poitrenaud posted to 2007 petrinets recursion by leonardo on 2007-11-15 22:10:12 as
	Recursive Unsolvability of a Problem of Thue [My Copy] The Journal of Symbolic Logic, Vol. 12, No. 1. (1947), pp. 1-11. by Emil L. Post posted to group recursion theory thue wordproblem by truepath on 2007-10-14 12:25:33 as
	GraphLog: a visual formalism for real life recursion [My Copy] (1990), pp. 404-416. by Mariano P. Consens, Alberto O. Mendelzon posted to modeling recursion visual by scis0000001 on 2007-04-12 12:36:46 as
	Recursive Types in Kleisli Categories [My Copy] (1992) by Alex K. Simpson posted to category recursion types by glaubersp on 2007-04-06 23:33:32 as
	A recursive do for Haskell [My Copy] (2002) by L. Erk, John posted to haskell recursion by glaubersp on 2007-04-06 22:42:46 as along with 1 person msakai
	Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge [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. 3-25. by Don Syme posted to ml mutually objects recursion referential by kidd on 2007-04-04 13:44:42 as

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

Result page: 1 2 Next

language	10
syntax	7
evolution	6
haskell	5
computability	4
functional-programming	4
theory	4
animal	3
bird	3
birds	3
coinduction	3
comonads	3
fold	3
lambda-calculus	3
language_acquisition	3
logic	3
monads	3
network	3
songbird	3
types	3
unfold	3
acquisition	2
catamorphism	2
category	2
chaos	2
church	2
commentary	2
compositionality	2
coq	2
cycle	2
fixed-point	2
fixpoint	2
formal-methods	2
fractals	2
godel	2
graph	2
inference	2
intentionality	2
language_evolution	2
linguistics	2
master-project	2
model	2
modules	2
neural	2
probability	2
program	2
program-analysis	2
provers	2
semantics	2
submit-incremental	2
termination	2
turing	2
verification	2
2007	1
algorithms	1
anamorphism	1
artificial-intelligence	1
birdsong	1
book	1
combinatorics	1
computablity	1
connectionist	1
continued_fraction	1
dbpl	1
dependent	1
domain-theory	1
effects	1
evolang	1
fluid	1
functional	1
galois-connections	1
group	1
hcf	1
hierarchy	1
histomorphism	1
induction	1
lambda	1
language_complexity	1
learning	1
machine	1
mathematics	1
mutual-recursion	1
non-recursive	1
objects	1
of	1
operational-semantics	1
pedagogy	1
program-calculation	1
recurrant	1
recursive	1
rg-2009	1
set-theory	1
shortest-path	1
songbirds	1
sorting	1
submit-gdiff	1
traversal	1
vocabulary	1
wordproblem	1
zipper	1

Tag recursion [61 articles] Export

Related Tags