Group: Rightscom - library 191 articles Export

	Simulating Creativity in Jazz Performance [My Copy] In National Conference on Artificial Intelligence (1994), pp. 108-113. by Geber Ramalho, Jean G. Ganascia posted to functional languages music by mahler to the group Rightscom on 2007-03-04 23:29:32 as
	Neural Methods for Non-Standard Data [My Copy] by Barbara Hammer, Brijnesh J. Jain posted to no-tag by mahler to the group Rightscom on 2006-12-05 23:28:30 as
	Variations on a Kernel-Adatron Theme [My Copy] by Hugo D. Navone, Tom Downs posted to no-tag by mahler to the group Rightscom on 2006-11-17 01:34:43 as
	Optimization of sparse matrix kernels for data mining [My Copy] (2000) by E. Im, K. Yelick posted to no-tag by mahler to the group Rightscom on 2006-11-08 17:39:01 as
	A Short Note on Linear Autarkies, q-Horn Formulas and the Complexity Index [My Copy] No. 99-26. (July, 1999) by Hans van Maaren posted to no-tag by mahler to the group Rightscom on 2006-11-02 19:12:04 as
	Combinatorial Laplacians of matroid complexes [My Copy] (1997) by W. Kook, V. Reiner, D. Stanton posted to no-tag by mahler to the group Rightscom on 2006-10-08 18:05:30 as
	The Symmetric Eigenvalue Problem [My Copy] by Parlett posted to no-tag by mahler to the group Rightscom on 2006-10-07 03:41:08 as
	The death of computer languages, the birth of Intentional Programming [My Copy] (1995) by C. Simonyi posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:55:26 as
	Little languages: little maintenance? [My Copy] In 62 (March0 1997) by Arie van Deursen, Paul Klint posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:54:56 as
	Mixin-Based Inheritance [My Copy] In Proceedings of the Conference on Object-Oriented Programming: Systems, Languages, and Applications / Proceedings of the European Conference on Object-Oriented Programming (1990), pp. 303-311. by Gilad Bracha, William Cook edited by Norman Meyrowitz posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:52:26 as along with 1 person spl
	A Language Development Environment for Eclipse [My Copy] by M. G. J. van den Brand, H. A. de Jong, P. Klint, A. T. Kooiker posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:14:27 as along with 2 people and 1 group garyfeng scis0000001 ReadingLab
	Language-driven system design [My Copy] In HICSS35, Proceedings of the Hawaii International Conference on System Sciences, minitrack on Domain-Specic Languages for Software Engineering, Hawaii (January 2002) by S. Mauw, W. Wiersma, T. Willemse posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:13:16 as
	An Examination of DSLs for Concisely Representing Model Traversals and Transformations [My Copy] (2003) by J. Gray, G. Karsai posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:12:43 as
	When And How To Develop Domain-Specific Languages [My Copy] by M. Mernik, J. Heering, A. M. Sloane posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:12:18 as along with 2 people and 1 group JeffreyPalmer richards modeling
	Storage-to-tree transducers with look-ahead [My Copy] Theor. Comput. Sci., Vol. 329, No. 1-3. (2004), pp. 115-158. by Tam&\#225;s Hornung, S&\#225;ndor V&\#225;gv&\#246;lgyi posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:59:39 as
	$My PDF f&\#252;l&\#246;p_01_characterizing.pdf$ Characterizing important subclasses of attributed tree transformations by macro tree transducers [My Copy] J. Autom. Lang. Comb., Vol. 6, No. 2. (May 2001), pp. 145-189. by Zolt&\#225;n F&\#252;l&\#246;p posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:58:30 as
	Macro forest transducers [My Copy] Inf. Process. Lett., Vol. 89, No. 3. (February 2004), pp. 141-149. by Thomas Perst, Helmut Seidl posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:57:17 as along with 1 person fservais
	Pushdown machines for the macro tree transducer [My Copy] Theor. Comput. Sci., Vol. 42, No. 3. (June 1986), pp. 251-368. by J. Engelfriet, H. Vogler posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:56:03 as
	Tabulation Techniques for Recursive Programs [My Copy] ACM Comput. Surv., Vol. 12, No. 4. (December 1980), pp. 403-417. by R. S. Bird posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:41:37 as
	Top-down tree transducers with regular look-ahead [My Copy] Theory of Computing Systems, Vol. 10, No. 1. (December 1976), pp. 289-303. by Joost Engelfriet posted to no-tag by mahler to the group Rightscom on 2006-05-30 19:10:55 as
	Translation equations [My Copy] Commun. ACM, Vol. 13, No. 2. (February 1970), pp. 83-89. by Steven Vere posted to no-tag by mahler to the group Rightscom on 2006-05-30 19:07:24 as
	Some results in tree automata [My Copy] Theory of Computing Systems, Vol. 6, No. 3. (1972), pp. 334-342. by L. S. Levy, A. K. Joshi posted to no-tag by mahler to the group Rightscom on 2006-05-30 19:05:31 as
	Monadic Encapsulation in ML [My Copy] In International Conference on Functional Programming (1999), pp. 8-17. by Miley Semmelroth, Amr Sabry posted to monads by mahler to the group Rightscom on 2006-04-26 21:19:15 as
	From Interpreter to Compiler using Staging and Monads [My Copy] (1998) by T. Sheard, Z. Benaissa posted to compiler compilers monads multi-stage-languages partial-evaluation staged-programming staging by mahler to the group Rightscom on 2006-04-25 19:04:03 as along with 4 people and 1 group twleung dherman eaubin JeffreyPalmer NU-PRL
	From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 125-125. by Harry G. Mairson posted to monads by mahler to the group Rightscom on 2006-04-25 19:01:32 as along with 3 people and 1 group dherman rogargon scis0000001 NU-PRL
	Stochastic lambda calculus and monads of probability distributions [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165. by Norman Ramsey, Avi Pfeffer posted to monads probability by mahler to the group Rightscom on 2006-04-25 19:01:03 as along with 4 people and 1 group dherman tautologico mstone pedagand NU-PRL
	Tagless staged interpreters for typed languages [My Copy] (2002) by E. Pasalic, W. Taha, T. Sheard posted to monads staged staging by mahler to the group Rightscom on 2006-04-25 18:59:07 as along with 3 people twleung eaubin cdiggins
	$My PDF erk&\#246;k_00_recursive.pdf$ Recursive monadic bindings [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 174-185. by Levent Erk&\#246;k, John Launchbury posted to haskell monads value-recursion by mahler to the group Rightscom on 2006-04-25 18:55:04 as along with 1 person spl
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted to curry howard by mahler to the group Rightscom on 2006-04-25 18:53:05 as along with 13 people and 2 groups Scis0000002 fvogels draganigajic greenrd plaugg yallop thsutton voigt KarlKlose mcclurmc robotact jimburton americovargas SRG_at_UCD Lambda the Ultimate
	Monads for Incremental Computing - Functional Pearl [My Copy] by Magnus Carlsson posted to incremental monads by mahler to the group Rightscom on 2006-04-25 18:52:41 as along with 4 people and 1 group greenrd JeffreyPalmer zednenem josefs SRG_at_UCD
	Notions of Computation Determine Monads [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted to monads by mahler to the group Rightscom on 2006-04-25 18:51:50 as along with 7 people and 1 group noam_zeilberger greenrd JeffreyPalmer cedricboidin zednenem mstone glaubersp SRG_at_UCD
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted to continuations monads search by mahler to the group Rightscom on 2006-04-25 18:51:22 as along with 4 people and 1 group greenrd voigt msakai AndreasSchropp SRG_at_UCD
	There and back again: arrows for invertible programming [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97. by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted to arrow bidirectional monads by mahler to the group Rightscom on 2006-04-25 18:49:59 as along with 4 people and 1 group greenrd tautologico voigt mstone SRG_at_UCD
	A principled approach to operating system construction in Haskell [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted to monads operating-systems os by mahler to the group Rightscom on 2006-04-25 18:48:28 as along with 6 people draganigajic pejo voigt hannes mstone pedagand
	Monadic encapsulation in ML [My Copy] In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 9. (September 1999), pp. 8-17. by Miley Semmelroth, Amr Sabry posted to monads by mahler to the group Rightscom on 2006-04-25 18:46:48 as along with 1 person voigt
	Building compilers by combining algebras [My Copy] Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338. by G. Kimmell, E. Komp, P. Alexander posted to algebras compilers monads by mahler to the group Rightscom on 2006-04-25 18:46:16 as along with 3 people jrw voigt brturn
	Comprehending Queries [My Copy] (1999) by T. Grust posted to monads queries by mahler to the group Rightscom on 2006-04-25 18:45:32 as along with 2 people zednenem AndreasSchropp
	Verifying BDD Algorithms through Monadic Interpretation [My Copy] Lecture Notes in Computer Science, Vol. 2294 (January 2002), 182. by Sava Krstic, John Matthews posted to bdds monads by mahler to the group Rightscom on 2006-04-25 18:43:18 as along with 1 person voigt
	Monadic regions [My Copy] SIGPLAN Not. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 103-114. by Matthew Fluet, Greg Morrisett posted to memory monads by mahler to the group Rightscom on 2006-04-25 18:41:32 as along with 4 people and 1 group JeffreyPalmer zednenem josefs voigt ConcertRG
	The categorical abstract machine [My Copy] Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202. by G. Cousineau, P. L. Curien posted to no-tag by mahler to the group Rightscom on 2006-04-25 15:14:06 as along with 8 people and 1 group jespera LeonSmith msakai bonotake scis0000001 mstone rgb devnull pileWorks
	Categories for Software Engineering [My Copy] (16 May 2004) by José L. Fiadeiro, Jost L. Fiadeiro posted to categogries by mahler to the group Rightscom on 2006-04-25 15:13:29 as along with 3 people DavidChemouil bonotake mstone
	Institutions: abstract model theory for specification and programming [My Copy] J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146. by Joseph A. Goguen, Rod M. Burstall posted to institutions by mahler to the group Rightscom on 2006-04-25 14:55:08 as along with 9 people and 1 group mishra_satish fraktalek msakai bonotake adrian_pigors scis0000001 masteraka marcinzalewski Scis0000002 ConcertRG
	Object Interaction [My Copy] In Mathematical Foundations of Computer Science (1992), pp. 200-208. by Jose F. Costa, Amilcar Sernadas, Cristina Sernadas, Hans D. Ehrich posted to categogries institutions interaction by mahler to the group Rightscom on 2006-04-25 14:54:19 as along with 2 people bonotake scis0000001
	Extensible Language Implementation [My Copy] by Donovan M. Kolbly posted to modules scheme by mahler to the group Rightscom on 2006-01-03 23:35:44 as along with 4 people JeffreyPalmer jrw robennals ryanc
	Conceptual Modeling in a Deductive Object-Oriented Database Language [My Copy] by Mengchi Liu, Robert Suen posted to f-logic by mahler to the group Rightscom on 2006-01-03 17:05:19 as
	Transaction Logic Programming [My Copy] In International Conference on Logic Programming (1993), pp. 257-279. by Anthony J. Bonner, Michael Kifer posted to logic transaction by mahler to the group Rightscom on 2006-01-03 16:50:52 as along with 1 person damaru
	HILOG: A Foundation for Higher-Order Logic Programming [My Copy] Journal of Logic Programming, Vol. 15, No. 3. (1993), pp. 187-230. by Weidong Chen, Michael Kifer, David S. Warren posted to f-logic hilog by mahler to the group Rightscom on 2006-01-03 16:49:22 as
	Logical Foundations of Object-Oriented and Frame-Based Languages [My Copy] Journal of ACM, Vol. 42 (July 1995), pp. 741-843. by Michael Kifer, Georg Lausen, James Wu posted to f-logic by mahler to the group Rightscom on 2006-01-03 16:48:48 as
	Logics for Databases and Information Systems [My Copy] (1998) edited by J. Chomicki, G. Saake posted to logic transaction by mahler to the group Rightscom on 2006-01-03 16:46:17 as
	TRIPLE: A Logic for Reasoning with Parameterized Views over Semi-Structured Data [My Copy] (2002) by S. Decker, M. Sintek, W. Nejdl posted to f-logic rdf triple by mahler to the group Rightscom on 2006-01-03 16:42:51 as

Note: You may cite this page as: http://www.citeulike.org/group/600

Result page: 1 2 3 4 Next

xml	25
logic	17
monads	17
transformation	17
f-logic	16
logic-programming	12
languages	10
automata	9
bibtex-import	8
functional	8
query	8
rightscom	8
trees	7
wfs	7
description	6
nonmonotonic	6
rdf	6
rewriting	6
graph	5
mso	5
semistructured	5
constraint	4
matching	4
patterns	4
scheme	4
semantics	4
sheaf	4
strategies	4
topos	4
rules	3
transaction	3
wfsx	3
abduction	2
categogries	2
compilers	2
explicit-negation	2
fibration	2
institutions	2
optimization	2
staging	2
tabling	2
algebras	1
alternating	1
arrow	1
bdds	1
bibliography	1
bidirectional	1
compiler	1
continuations	1
control	1
curry	1
data	1
database	1
dbms	1
decidability	1
flora	1
frames	1
haskell	1
hilog	1
howard	1
incremental	1
integration	1
interaction	1
macros	1
memory	1
metadata	1
modal	1
modules	1
multi-stage-languages	1
music	1
oop	1
operating-systems	1
os	1
partial-evaluation	1
pattern	1
probability	1
programming	1
prolog	1
queries	1
quert	1
rdfs	1
schema	1
search	1
staged	1
staged-programming	1
tableau	1
theory	1
tree	1
triple	1
type	1
types	1
value-recursion	1
www	1
xsb	1

Group: Rightscom - library 191 articles Export

Group Tags