kavabean's library 32 articles Export

	Term graph rewriting [My Copy] (1998) by D. Plump posted to rewriting termgraph by kavabean on 2005-11-17 13:59:27 as along with 1 person wnpx
	Aiding Dependent Type Checking with Rewrite Rules [My Copy] by Yorck Huencke, Oege de Moor posted to dependent-types rewriting by kavabean on 2005-11-14 20:07:17 as
	Compiling Embedded Languages [My Copy] In SAIG (2000), pp. 9-27. by Conal Elliott, Sigbjorn Finne, Oege de Moor posted to dsl rewriting by kavabean on 2005-11-14 20:06:30 as along with 3 people hamish JeffreyPalmer scis0000001
	DSL Implementation in [My Copy] by Metaocaml T. Haskell posted to dsl metaprogramming multistage by kavabean on 2005-11-14 20:04:58 as along with 4 people stagediver kozima glaubersp Scis0000002
	Scannerless generalized-LR parsing [My Copy] by E. Visser posted to parsing by kavabean on 2005-10-27 22:28:58 as along with 2 people and 1 group dherman jrw NU-PRL
	Just-in-time: On Strategy Annotations [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 57 (2001) by Jaco van de Pol posted to obj rewriting strategy by kavabean on 2005-10-24 17:38:53 as along with 1 person Scis0000002
	Termination of Rewriting with Strategy Annotations [My Copy] Lecture Notes in Computer Science, Vol. 2250 (2001), pp. 669-??. by Salvador Lucas posted to rewriting strategy termination by kavabean on 2005-10-24 17:37:38 as
	Rewriting with Strategies in ELAN: A Functional Semantics [My Copy] International Journal of Foundations of Computer Science, Vol. 12, No. 1. (2001), pp. 69-95. by Peter Borovansky, Claude Kirchner, Hne Kirchner, Christophe Ringeissen posted to rewriting strategy by kavabean on 2005-10-24 17:35:31 as
	Toward a general theory of names: binding and scope [My Copy] In MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding (2005), pp. 33-40. by James Cheney posted to naming substitution by kavabean on 2005-10-21 12:31:48 as along with 1 person mvermaat
	Scrap your nameplate: (functional pearl) [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 180-191. by James Cheney posted to naming substitution by kavabean on 2005-10-21 12:27:13 as along with 1 person mvermaat
	Technology and Courage [My Copy] In Perspectives on Computer Science, ed. by Anita K. Jones, Academic Press, New York, 1977; CMU Computer Science: A 25th Anniversary Commemorative, Richard F. Rashid (Ed.), {ACM} Press and Addison-Wesley Publishing Co. (1991) by Sutherland posted to research strategy by kavabean on 2005-10-21 11:06:47 as along with 1 person Bluetulip
	A New Approach to Generic Functional Programming [My Copy] In Symposium on Principles of Programming Languages (2000), pp. 119-132. by Ralf Hinze posted to design1 generic programming by kavabean on 2005-10-17 10:09:16 as along with 3 people draganigajic americovargas pedagand
	A fresh approach to representing syntax with static binders in functional programming [My Copy] SIGPLAN Not., Vol. 36, No. 10. (October 2001), pp. 1-1. by Andrew M. Pitts posted to design1 substitution by kavabean on 2005-10-17 09:48:56 as
	Grammatical Framework [My Copy] Journal of Functional Programming, Vol. 14, No. 02. (March 2004), pp. 145-189. by A. Aarne Rant posted to dependent notation parsing types by kavabean on 2005-10-17 09:44:26 as along with 5 people robertjohnsimmons zednenem josefs bringert richardlp
	$My PDF l&\#228;mmel_05_scrap.pdf$ Scrap your boilerplate with class: extensible generic functions [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 204-215. by Ralf L&\#228;mmel, Simon P. Jones posted to programming design1 generic by kavabean on 2005-10-17 09:42:11 as along with 8 people spl mkis hamish yallop bec voigt lomeo americovargas
	Constraint based type inferencing in Helium [My Copy] In Workshop Proceedings of Immediate Applications of Constraint Programming (September 2003), pp. 59-80. by Bastiaan Heeren, Jurriaan Hage, Doaitse S. Swierstra edited by -C, M. ~zanker posted to constraints design1 types by kavabean on 2005-10-17 09:24:45 as
	Executable structural operational semantics in Maude [My Copy] (2003) by A. Verdejo, Mart N. Oliet posted to design1 maude rewriting semantics by kavabean on 2005-10-17 09:16:02 as along with 1 person scis0000001
	Principles of Maude [My Copy] In Proceedings of the First International Workshop on Rewriting Logic, Vol. 4 (1996), pp. 65-89. by Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer edited by José Meseguer posted to design1 maude rewriting by kavabean on 2005-10-17 09:15:14 as along with 1 person scis0000001
	ASF+SDF Parsing Tools Applied to ELAN [My Copy] by M. G. J. van den Brand, C. Ringeissen posted to design1 elan rewriting by kavabean on 2005-10-17 09:14:42 as
	An Overview of ELAN [My Copy] (1998) by P. Borovansky, C. Kirchner, H. Kirchner, P. Moreau, C. Ringeissen posted to design1 rewriting by kavabean on 2005-10-17 09:14:04 as
	A Steve Vinoski Toward Integration Column from IEEE Internet Computing [My Copy] by Middleware D. Matter posted to design1 rewriting by kavabean on 2005-10-17 09:13:34 as along with 1 person jrw
	The rewriting calculus --- Part [My Copy] (2001) by H. Cirstea, C. Kirchner posted to design1 rewriting by kavabean on 2005-10-17 09:12:45 as along with 2 people jrw scis0000001
	A Visual Environment for Developing Context-Sensitive Term Rewriting Systems [My Copy] In International Conference on Rewriting Techniques and Applications (RTA2004) (2004) by Jacob Matthews, Robert B. Findler, Matthew Flatt, Matthias Felleisen posted to context design1 rewriting by kavabean on 2005-10-17 09:11:59 as
	Functional Pearl: The Zipper [My Copy] J. Functional Programming, Vol. 7, No. 5. (September 1997), pp. 549-554. by Gerard Huet posted to substitution term by kavabean on 2005-10-17 09:07:08 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 binding design1 substitution variable by kavabean on 2005-10-17 09:02:59 as along with 4 people robertjohnsimmons mvermaat eaubin msakai
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to constraints dependent design1 types by kavabean on 2005-10-17 09:00:27 as along with 10 people and 1 group shimomura msakai rgrig yallop tautologico japple voigt geishagirls rysavy jimburton SRG_at_UCD
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted to algebra programming by kavabean on 2005-10-11 20:01:26 as along with 31 people and 4 groups ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
	Monadic Corecursion: Definition, Fusion Laws and Applications [My Copy] In Selected Papers 1st Workshop on Coalgebraic Methods in Computer Science, CMCS'98, Lisbon, Portugal, 28--29 March 1998, Vol. 11 (1998) by Alberto Pardo edited by B. Jacobs, L. Moss, H. Reichel, J. Rutten posted to no-tag by kavabean on 2005-10-11 19:07:46 as
	Notes on “Algebra of Programming” [My Copy] by Glenn Strong posted to algebra catamorphism category programming theory by kavabean on 2005-10-11 15:26:46 as
	Conditional rewriting logic as a unified model of concurrency [My Copy] Theor. Comput. Sci., Vol. 96, No. 1. (April 1992), pp. 73-155. by Jos&\#233; Meseguer posted to concurrency conditional rewriting by kavabean on 2005-10-11 10:38:10 as along with 1 person and 1 group xiemaisi AS-IIS_ReadingGroup
	Derivatives of Regular Expressions [My Copy] J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted to derivative expressions regular by kavabean on 2005-10-05 20:48:49 as along with 8 people hubris mattmight msakai zednenem mstone bunge jennie dfisher
	Programmable type systems for domain specific languages [My Copy] (2002) by P. Thiemann posted to dsl expressions regular by kavabean on 2005-10-05 20:46:16 as along with 2 people hamish JeffreyPalmer

Note: You may cite this page as: http://www.citeulike.org/user/kavabean

rewriting	14
design1	13
substitution	5
programming	4
strategy	4
dsl	3
types	3
algebra	2
constraints	2
dependent	2
expressions	2
generic	2
maude	2
naming	2
parsing	2
regular	2
binding	1
catamorphism	1
category	1
concurrency	1
conditional	1
context	1
dependent-types	1
derivative	1
elan	1
metaprogramming	1
multistage	1
notation	1
obj	1
research	1
semantics	1
term	1
termgraph	1
termination	1
theory	1
variable	1

kavabean's library 32 articles Export

kavabean's tags