Related Products

We have identified the following relevant lab reagents.

Brought to you by AQnowledge, precision products for scientists

x

CiteULike uses cookies, some of which may already have been set. Read about how we use cookies.

We will interpret your continued use of this site as your acceptance of our use of cookies. You may hide this message.

Tags

hellige's library 12 articles

	✔ Foundations for structured programming with GADTs [Quick Edit] [CiTO] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308, doi:10.1145/1328897.1328475 by Patricia Johann, Neil Ghani posted to categories haskell theory by hellige ✚ on 2008-02-26 00:15:30 along with 7 people and 1 group ama08r draganigajic jimburton msakai spl StevenKeuchel talototo Lambda the Ultimate Abstract Copy My Attachments My Copy Abstract GADTs are at the cutting edge of functional programming and becomemore widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In this paper we solve this problem by showing that the standard theory of data types as carriers of initial algebras of functors can be extended from algebraic and nested data types to GADTs. We then use this observation to derivean initial algebra semantics for GADTs, thus ensuring that all of the accumulated knowledge about initial ...
	✔ Functional pearl: implicit configurations--or, type classes reflect the values of types [Quick Edit] [CiTO] In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell (2004), pp. 33-44, doi:10.1145/1017472.1017481 by Oleg Kiselyov, Chung C. Shan posted to configuration haskell by hellige ✚ on 2007-02-01 22:18:01 along with 7 people and 1 group AndreasSchropp greenrd jimburton mstone spl yallop zednenem SRG_at_UCD Abstract Copy My Attachments My Copy Abstract The configurations problem is to propagate run-time preferences throughout a program, allowing multiple concurrent configuration sets to coexist safely under statically guaranteed separation. This problem is common in all software systems, but particularly acute in Haskell, where currently the most popular solution relies on unsafe operations and compiler pragmas.We solve the configurations problem in Haskell using only stable and widely implemented language features like the type-class system. In our approach, a term expression can refer to run-time configuration parameters ...
	Convergence in language design: a case of lightning striking four times in the same place [Quick Edit] [CiTO] In FLOPS (2006) by Peter V. Roy posted to concurrency functional by hellige ✚ on 2007-01-23 22:42:14 along with 3 people and 1 group greenrd jmchauvet pedagand SRG_at_UCD Abstract Copy My Attachments My Copy Abstract What will a deﬁnitive programming language look like? By deﬁnitive language I mean a programming language that gives good solutions at its level of abstraction, allowing computer science researchers to move on and work at higher levels. Given the evolution of computer science as a ﬁeld with a rising level of abstraction, it is my belief that a small set of deﬁnitive languages will eventually exist. But how can we learn something about this set, considering that many basic questions about languages have ...
	✔ Functional Programming with Dynamic Binding [Quick Edit] [CiTO] (1996), pp. 155-172 by Laurent Dami edited by D. Tsichritzis posted to functional by hellige on 2006-11-13 21:04:37 Abstract Copy My Attachments My Copy Abstract Introduction Dynamic binding denotes a family of programming constructs where the runtime system includes some notions of "names" and "environments" (associations from names to values), and where the operation of looking up some name in some environment is performed dynamically. A number of popular languages use dynamic binding, under various forms: quote and eval in LISP, stacks of dictionaries in FORTH or Postscript, message send in object-oriented languages. However, functional programming... ...
	Event-Based Programming without Inversion of Control [Quick Edit] [CiTO] University of Pennsylvania Law Review, Vol. 154, No. 3. (01 January 2006), 477 by Philipp Haller, Martin Odersky posted to concurrency scala by hellige ✚ on 2006-07-12 22:39:26 along with 946 people and 145 groups 100155430 aartaki abbyworld ablam Abroxa acastaner acer adamsi adenkabe adjih adriancooke aelva afrojapchick agallet agarza agogoh3 agraham AJCann ak Akimasa aklassen alchemyst Alemohammad alexbdigital alexispaz alexloh80 alexstorer alicetiara alikocho AlisonBabeu amarois amcmorl amydash anar andersok andreacapocci andreacastelletti andrealira andresmh aniak AnneB annmarie37 anon_pl ansobol antistarlet aozkan apokgmc applebyb APSLuppa arichar6 arnavjhala asalvadori ashandanj ashko asmusolsen atbrew athma atsu-kan austin aviad_work awc axin Axis Ayest azygmunt baaklini babyone baikanamako balabu balicea bangb baniel barbz79it BarrosH bayesian bazza030 Becky_Shen bellia bemike benavides benmiller314 bennettn BenWillems bernstei berthelemy bertrandservin berylschaefer bezbozhnik BiebmiepLeen bigga bigmagpie billwolff Biomedyknight BioNica bjbecerra bkliethermes blackm0k bleong bluecricket bnkde bobturner boellernadja bouchard brembs brent_lance bretblosser brianlimyl briansludwig BrianTomasik brothers brthz brusilovsky bsuter buchgeher BuckeyePhysicist buggle c-gobert caitlinshanley calamar Calder CameronNeylon CareyNadell carloscabanillas carneym carpi CarrieWeinerCampbell carsonr carterb cassj cavlec cblock ccots cdetorres CDivin cdm cdmilligan ceegrs2 chad_davis chandrashekar charlescearl charlesijones ChaTo chem-pion chethrington chiayung chrisatcite christian_librarian ChristianGraf christianholz christiankissig ChristianRauh chuggins ciriol cjones claudiotubertini cliona cmcleod cmm cmmorel cmunson coco0214 Compartia contradictoryben convulted coolger Corbasson corcoted cortex craigtalbert crispinb crumj crusher CSG cswinburne cvarnam cveres CVLab cvq cwb cwr cwtjoa cychang cyph3r czlamer dabhishe dabilock dagmar dandaman daniel_pang danifazzio danzinde daqing davemack davetown101 davidchavalarias davidr dayadvham dcastro dconnelly ddineen denns derchao derkaiser dgront dhbradshaw dhingra diamantis diegolino_veneziano digamberjuwekar digitaldust diomede dir289 djsaab dlobo dlouzeck dmboyer dmitri83 dmmarinlo dmschneid dodger042 donade doncieux DonIvanCorleone doylem dpeeler dperkel duckysherwood dumpa dvoigt e2holmes ealloza earnoux echinotrix ecome eddymier edgarbc egh eimaj42jdp ejmeij ejones eldan elisaformist elsantosneto elsiatcase embersp emerson emiliorp emmackinnon enricaki eprzekwa erevans erikwdavis EsepBib eunsugee eustatic Evangelia ezaydens fabianhemmert Fahland fairy familydoc farzanehs fbr fcalefato fellow fergus fernand0 fghjorth fisherp fitzgeraldsteele Flit florine fluffels fluomouse fmiyamae foistudy fordela forestier fornstar fpalm frankgrimes frauta frdr freddan friveroll fruminator fsteeg fugitive gagliol gane5h gantlord garancher_gougeon_reyotero garyfeng garypearce gbae genericg gengh geomblog georgenichols gferencz ggorjan ghunter gi0rgi0ne GimpyBee giolakat giorgis gjhuang gkvas gloinf gofsu0 gogabr goingsomewhere gracev grahamc great_apes gregflanders gregnishihara GregorSuhr grieth Grobi Growlingfish grzegorz gugek guhjy gurprit_raunu gvandyk1 gytisc Haggan halsnalle hanxiansheng Happybene harmonjt harshpshah hawesie hayko hdopazo hdz heintz henriksdal hgamboa hideojoho hillarpoldmaa hiromark hisashim hkl hkreysa hlovise hlwoodcock hohkhkh1 hopm hotnuts hp2oo1 hplatero HrRossi hrwiltse HugoMarcelo hukkinen huminfly hyhu84 hywel IanBrown ianli iantunbridge iarmac ibbuntu ible ibschwartz idm idonaldson imaginaryunit imcdnzl ImranRaoufMalik inbetweener ingedwar insilico ipora irwink islandrru isorhiza isp isys1186 IulianGherghel iup ivanois ivanshi j0nes J_Raff jack112 jakobl jamesfournie JanneEttwig Janos januadiaboli japarejo japple jared JAShapiro jasonbobe jberro jblosnich jborn jbrown jdiggans jeanbean jeanfou Jellyfish jenda_z jenine JennaW jfmenudet jfr jhibbits jijkoun jimjoe jingliu JJNonesuch jjray jjrodriguez jklugman jladell JLMC jmaryott jmetz jmurdoch jnz joepickrell johannsen johnabender johncumbers johnnywu JonathanD JonathanFeinberg joni2am jorgen josemblazquez joshuashen jpassoth jpbenda jsanpedro jsenn JSicot jspeer jsvoboda jszekely juliajumeau junoda jurijmlotman justaubrey jvrantwijk jyew kaniko karin KarinaFigueroa karipuf kate_waxlyrical Katje kaz229 kcrawlik kdesmond kdouglass kedmond keitokita kennedie kenneth1ny kentz kericson kevin7 kgronemyer kgutwin kightley kimlab kinestetika kliether kmcolo kndiaye knowlengr kovacsv kozima kristina kroatiker krokicki krzywy kungcc kupopo kutabar l-alex ladygoat Laki langec Langster lanubile last5laps laurabailey lauragonzalez lauratest LaurieEMiller ldietz lechristophe lectorespa leechuck Leize lesikv lfriedl librain lijil lilalia lillekatt linxiang lionicebear lisa1 livingthingdan lizbiogen lna lns locatellimp loison long lorin lossius lottebelice lrodero lrsantos LTrottier lucbelanger lupianiedu lynleypage lynnefox lyongu m8eld1989 maburkitt macfreek macowell Maderlock madhadron mahlow majdula makbot malkav30 mamadoudiao Manhal mansaok manuelpq MarcJungbluth marcusbm MariaChiaraP MariekeVanWamel marinari markusd marohn martint massimocencini mattlee matts matzke mazsx mbaric mchinen mcphee mdifranc mebiel mederly mehjabin melanieramage melody metaspencer mfenner mfisk mfloris mgran mgregg MHRashid micha137 MichaelGaebler michaelmampaey michmill mick39 midshipman miguelbezerra mirweis mitchee3 mjaz mkcerusky mkharito mkowa mkwalker mleis mlewcio mllee mloewer mlovelace mlzafron monientiedt monkare mortimer motchy mpennell mpisarenco mrkrause mrosenki msampson mtelleri mtr mtruksa mtugrul muellerkind muli murb mwyarbro nafets nascardaughter natasjadenouden nathanielvirgo naturecure nazareno nbr nco71 ndegara nealpfox Neeperando Nele neteler ngrandy nickpitman NicolasNeubauer nikko nina4citeulike NitinCR nkishan nlafferty nlauzier nmaisonneuve nnikolaj nojhan nperrin nschaeff nschwart nshephard nybon oceanflynn octobremtl Odi oilpalm okarsligil olaf omidf2 os252 oteri P2324548 p2p-sec padraic pafmon paj pantxorama parmentierf pasion pathari PaulB pauldobson paulducker paulschlesinger paulvb pblanchenay pchia pdessus pdlug peaksun pedagogicapprentice peefeeyatko perceptron pereicoco perhapstoopink pervane petergun6666 PeterRabbit Pfaff9 pgastrein pgeymueller phillipkent pilho pintman pitzelberger pkm pkrrules pkt planetoid plashkes plaugg pmaire pnauer polyparadigm portalqm powell prabakaran prdrieze prerona princessbritty psique ptrobajo pulsus-morbi pwais pyjamashark qbin1304 QFRMC qwermish rafabravo rafamayo ragha raik rainer_falkenberg RalfMitschke RalphPutnam ram ranb RandolphCarter raposoc rbmoura rburnett rdiaz rdlong rdonat rebeccamancy redcourgette redelings refkit Repton reta reyez rherring RiccardoAlbertoni ricckli richpb7 ricklillie ricmilne rinelk rlai rmagf RMGraze RMT rocarvaj rodney rodrigobotelho Rootfruit Rootsister rpbharti rsabouni rschulz rsilveira79 rsimitev ruddyconsult ruudvanleeuwen rvosa rwilliamson rwm101 ryang s-adachi s-fujii sadsackmac samanthahut samjlord samth sannama sarahmccrum sbaete sbutterfill scalptob scarcelan Schmidtc schocol Schopfel schulz Scis0000002 scottkb seawidget sedging sekulerlab sgclendenon sgroenewegen shangnan shariffdinah sharonazzopardi sharonhoward shaun shenshei sherrivokey sheshebrown Shii Shindy shivakmr shizhao sjc sjgaller skolaric skumagai slafont smbrower smccord smithco smmurphy smogit sngourlay snyder84 soeleadership softsimu soloaries soloist_huaxin sona songpku sora spacely spamplona splzdnkl squirmelia srfairclough srl ssn sstoerge stain stajich standara stephane-jean Stepstep steveut stina stoev stonest stormybriggs stringertheory subhradeep Sulpicus sumeetonweb suneilmohan sunilbajpai susz swatipendyala szielke szityu tadm taenneken tale talkingpoints tanneama000 tarjeiha tbolt427 TCgroup tdpessem technical teh Tellima tenalka term terraces tertel tfogal tg tgyork Thaverkamp thehajime thens theshadowhost thjt thjunsehyun ThomasEtEckert ThomasKluge thomast3 thomaswuebben thyk tinkha tjimenez todchambers toivotuo Tolik TomQ toppi torresan Torsten_Holmer treycausey trshepherd trungdong truongducthang tshr ttsutsumi tuaba tulaydemir turadg Turambar tymmail tyrell_turing tystl tyvokka tzmtzm Ubiquitousuk udivi ueberweise UFGeog umurthy21 uperinetti UWerplab V Vaccine Venu Vezhnick ville viller viveknallur vlado vogmae voiklis vrich vrv waghsk wangsd wartaalman waszak watersiren wenniehu whshen wilkinm willfox willwade wolfe275 wongmld xamde xiruela xistenshal Xountini xwenlong yaroslavvb yavanna yeqiwei yijisoo yish yizheng yorgos yori ypeter yse yuichi1004 z3phyr Zaraitzu zeeshan123 zephoria Zephyrus zeppe zetetic ziggy zwang 3D24 INC Adaptive-Web ADMiRes AGH-IISG AI ALF AM-VideoGames-Gender ARC04 ASR AssistiveTechnology Biocatalysis and Biotransformation biodiversity_conservation Biofluid BioinfoCIPF Bioinformatics BioVT Blog_and_Wiki_Research Boydian_Society BrainTheory BUiGEM CaltechCMP CDG CGREL Child_Support cliamte_change climate_change CMS CMU-HCII ColDyn CompetitionLawAndPolicy compneur Context-driven-testers Convention on Knowledge Commons DarkMarkGroup Desgin-by-Contract DialogueResearchGroup dIEMoSIRIS digital_youth distance DPR DSS dtl e-JC ediadem eLearning elearning_research eni ENSSIBVeille enviro ed Europe_GPE EvolutionaryComputation FAB-lab fammed-publichealth feminist_technoscience Femtochemistry_LMU Flexible_ICT-supported_learning folk_epistemology folksonomy GEB Gender and ICT Georouting Groep Z2 hdm Health_Sciences_Librarians HUCO-627-W07 id ILK ilps ImatiGESemantic InformationRetrieval infovis instaar_graduate_students Interactive Archivist kdl kickOffTUG-Robocup Kopelman_Group LanguageAndBrain Librarians livingthing location Macroelectronics Master VTI - veille intelligence economique mathgamespatterns Med Anthro @ UF memoir Metaheuristics METRIK Microbial-Ecology microbiology_nijmegen MITCCI mobilecomputing moernerlab Mycology NanoMechanicsofMetals_MPIMF NeuralNetworks NeuronDynamics Neuroscience NU-PRL Nutritional_Polymorphisms Optimization Oxford Hooker Group Parsons MFA DT 2008 Thesis Research Patent_Reform Personal-Information-Management Philosophy of physics PIM Semantic Desktop Plant-Tissue-Simulation PLE-TEL-project political_science_students PostureMobility PRC_SEA Projet_ENSIMAG PsychStatsBanter Quantum_physics_Education ReadingLab remote RETA Security in SOA SEGAL Semantic Web and online learning sims_phd_cohort_2005 SITCRC SNE Social Informatics @ IU social_navigation Social_Software_ws_07-08 Software-Architecture Stoc_Proc_Ecology_WG STS TCD-NDS102-Project Tectonics_and_geomorphology The_Truants tmig_psycho TUCS-ES_Lab UCD TACs UF Geography Department UoY-CS-AIG vds-arg VisionLab VivesMinions WAND Web2-0_Education Web2Learning Wikipedia ZnO_project Copy My Attachments My Copy
	✔ On Two Forms of Structural Recursion [Quick Edit] [CiTO] In ICDT (1995), pp. 111-124 by Dan Suciu, Limsoon Wong posted to functional query by hellige on 2005-02-03 16:27:10 Abstract Copy My Attachments My Copy Abstract . We investigate and compare two forms of recursion on sets for querying nested collections. The first one is called sri and it corresponds to sequential processing of data. The second one is called sru and it corresponds to data-parallel processing. A uniform first-order translation from sru into sri was known from previous work. The converse translation is by necessity more difficult and we have obtained three main results concerning it. First, we exhibit a uniform translation of sri queries... ...
	✔ Comprehending Monads [Quick Edit] [CiTO] In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78 by P. L. Wadler posted to functional theory by hellige ✚ on 2005-02-02 22:12:59 along with 35 people and 2 groups ben_moseley benchambers Benja bfraser BMeph bunge cdiggins cedricboidin cognominal conal creswick Darius doc_solitude donniejones18 ds glaubersp hayeah jasonmc JeffreyPalmer jrw jsala kazuya mahler meiersi mmarcus montelatici msn mstone pirapira puzza rgb rgrig rwtodd scis0000001 zednenem pileWorks SRG_at_UCD Abstract Copy My Attachments My Copy Abstract Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970's to concisely express certain programs involving lists. This paper shows how list comprehensions may be generalised to an arbitrary monad, and how the resulting programming feature can concisely express in a pure functional language some programs that manipulate state, handle exceptions, parse text, or invoke continuations.... ...
	✔ Principles of programming with complex objects and collection types [Quick Edit] [CiTO] Theoretical Computer Science, Vol. 149, No. 1. (1995), pp. 3-48 by Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong posted to functional query by hellige ✚ on 2005-02-02 22:12:18 along with 5 people and 2 groups ezrakilty JacquesC JeffreyPalmer jog zednenem NU-PRL WebTech Abstract Copy My Attachments My Copy Abstract We present a new principle for the development of database query languages that the primitive operations should be organized around types. Viewing a relational database as consisting of sets of records, this principle dictates that we should investigate separately operations for records and sets. There are two immediate advantages of this approach, which is partly inspired by basic ideas from category theory. First, it provides a language for structures in which record and set types may be... ...
	✔ Structural recursion as a query language [Quick Edit] [CiTO] In Proceedings of the 3rd International Workshop on Database Programming Languages (DBPL) (1991), pp. 9-19 by V. Breazu-Tannen, P. Beneman, S. Naqvi posted to functional query by hellige on 2005-02-02 22:11:11 Abstract Copy My Attachments My Copy Abstract We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. Its main computational engine is structural recursion on sets. All programming is done within a "nicely" typed lambda calculus, as in Machiavelli [OBB89]. A guiding principle is that how queries are implemented is as important as whether they can be implemented. As in relational algebra, the meaning of any relation... ...
	✔ CoPa: a Parallel Programming Language for Collections [Quick Edit] [CiTO] by Dan Suciu, Val Tannen posted to functional query by hellige on 2005-02-02 22:10:45 Abstract Copy My Attachments My Copy Abstract In this paper we propose a new framework for parallel processing of collections. We define a high-level language called CoPa for processing nested sets, bags, and sequences (a generalization of arrays and lists). CoPa includes most features found in query languages for object-oriented or object-relational databases, and has, in addition, a powerful form of recursion not found in query languages. CoPa has a formal declarative definition of parallel complexity, as part of its specification. We... ...
	✔ RAL: An Algebra for Querying RDF [Quick Edit] [CiTO] (2002) by F. Frasincar, G. Houben, R. Vdovjak, P. Bar posted to rdf by hellige on 2004-12-22 22:47:45 along with 1 person hci02 Abstract Copy My Attachments My Copy Abstract To make the World Wide Web machine-understandable there is a strong demand both for languages describing metadata and for languages querying metadata. The Resource Description Framework (RDF), a language proposed by W3C, can be used for describing metadata about (Web) resources. RDF Schema (RDFS) extends RDF by providing means for creating application specific vocabularies (ontologies) . While the two above languages are widely acknowledged as a standard means for describing Web metadata, a... ...
	✔ Code reuse through polymorphic variants [Quick Edit] [CiTO] (2000) by J. Garrigue posted to engineering functional ocaml by hellige ✚ on 2004-12-10 00:04:11 along with 3 people and 1 group dherman JeffreyPalmer lyongu NU-PRL Abstract Copy My Attachments My Copy Abstract Their support for code reuse has made object-oriented languages popular. However, they do not succeed equally in all areas, particularly when data has a complex structure, making hard to keep the parallel between data and code. On the other hand, functional programming languages, which separate data from code, are better at handling complex structures, but they do not provide direct ways to reuse code for a different datatype. We show here a way to achieve code reuse, even when data and... ...

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

Create CiTO

Create a CiTO relationship by dragging the [CiTO] link onto another article.

Alternatively, drag two articles into the two boxes below. This is useful when the two articles are not on the same page - the articles will be remembered between pages.

This article...

...this one

Privacy Statement | Terms & Conditions