×

The duality of computation. (English) Zbl 1321.68146

Proceedings of the 5th ACM SIGPLAN international conference on functional programming, ICFP ’00, Montréal, Canada, September 18–21, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-202-6). ACM SIGPLAN Notices 35, No. 9, 233-243 (2000).

MSC:

68N18 Functional programming and lambda calculus
03B40 Combinatory logic and lambda calculus
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] [1]S.F.AltschulandW.Gish.Localalignmentstatistics. MethodsEnzymology,266:460{480,1996.}
[2] [2]S.F.Altschulet.al.GappedBLASTand PSI-BLAST:Anewgenerationofproteindatabase searchprograms.NAR,25(17):3389{3402,1997.}
[3] [3]P.G.BakerandA.Brass.Recentdevelopmentin biologicalsequencedatabases.Curr.Op.Biotech., 9:54{58,1998.}
[4] [4]P.G.Bakeretal.TAMBIS|transparentaccessto multiplebioinformaticsinformationsources.ISMB, 6:25{34,1998.}
[5] [5]D.Benton.Bioinformatics|principlesandpotential ofanewmultidisciplinarytool.TIBTECH, 14:261{272,1996.}
[6] [6]V.Breazu-Tannenet.al.Structuralrecursionasa querylanguage.DBPL,3:9{19,1991.}
[7] [7]V.Breazu-TannenandR.Subrahmanyam.Logical andcomputationalaspectsofprogrammingwith Sets/Bags/Lists.ICALP,18:60{75,1991.}
[8] [8]P.Bunemanet.al.Principlesofprogrammingwith complexobjectsandcollectiontypes.TCS, 149(1):3{48,1995.}
[9] [9]C.Burkset.al.GenBank.NAR,20 Supplement:2065{9,1992.}
[10] [10]R.G.G.Cattell,editor.TheObjectDatabase Standard:ODMG-93.MorganKaufmann,1996.
[11] [11]J.Chenet.al.UsingKleislitobringoutfeaturesin BLASTPresults.GenomeInformatics,9:102{111, 1998.}
[12] [12]J.Chenet.al.Aproteinpatentquerysystempowered byKleisli.ACMSIGMODRecord,27(2):593{595, 1998.}
[13] [13]E.F.Codd.Arelationalmodelforlargeshareddata bank.CACM,13(6):377{387,1970.}
[14] [14]S.Davidsonet.al.BioKleisli:Adigitallibraryfor biomedicalresearchers.Int.J.DigitalLibraries, 1(1):36{53,1997.}
[15] [15]G.Donget.al.Localpropertiesofquerylanguages. ICDT,6:140{154,1997.}
[16] [16]A.GoldbergandR.Paige.Streamprocessing.In Proc.ACMSymposiumonLISPandFunctional Programming,pages53{62,1984.}
[17] [17]ISO.Standard8824.InformationProcessingSystems. OpenSystemsInterconnection.Specifcationof AbstractionSyntaxNotationOne(ASN.1),1987.
[18] [18]L.LibkinandL.Wong.Querylanguagesforbagsand aggregatefunctions.JCSS,55(2):241{272,1997.}
[19] [20]NationalCenterforBiotechnologyInformation, NationalLibraryofMedicine,Bethesda,MD.NCBI ASN.1Specifcation,1992.Revision2.0.
[20] [21]A.Ohoriet.al.DatabaseprogramminginMachiavelli, apolymorphiclanguagewithstatictypeinference. ACMSIGMODRecord,18(2):46{57,1989.}
[21] [22]Y.Papakonstantinouet.al.Objectexchangeacross heterogenousinformationsources.ICDE,11:251{260, 1995.}
[22] [23]L.C.Paulson.Ahigher-orderimplementationof rewriting.Sci.Comput.Prog.,3:119{49,1983.}
[23] [24]P.Pearsonet.al.TheGDBhumangenomedatabase anno1992.NAR,20:2201{2206,1992.}
[24] [25]D.Remy.Typecheckingrecordsandvariantsina naturalextensionofML.POPL,16:77{88,1989.}
[25] [26]D.Remy.Efcientrepresentationofextensible records.InProc.ofACMSIGPLANWorkshoponML anditsApplications,pages12{16,1992.}
[26] [27]C.Schoenbachet.al.FIMM,adatabaseoffunctional molecularimmunology.NAR,28(1):222{224,2000.}
[27] [28]G.D.Schuleret.al.Entrez:Molecularbiology databaseandretrievalsystem.MethodsEnzymology, 266:141{162,1996.}
[28] [29]M.Spivey.Afunctionaltheoryofexceptions.Sci. Comput.Prog.,14:25{42,1990.}
[29] [30]D.Suciu.Boundedfxpointsforcomplexobjects. TCS,176(1{2):283{328,1997.}}
[30] [31]D.SuciuandL.Wong.Ontwoformsofstructural recursion.ICDT,5:111{124,1995.}
[31] [32]J.D.Ullman.PrinciplesofDatabaseand KnowledgebaseSystemsII:TheNewTechnologies. ComputerSciencePress,1989.
[32] [33]P.Wadler.Comprehendingmonads.Math.Struct. Comput.Sci.,2:461{493,1992.}
[33] [34]S.Walshet.al.ACEDB:Adatabaseforgenome information.MethodsBiochem.Anal.,39:299{318, 1998.}
[34] [35]L.Wong.QueryingNestedCollections.PhDthesis, DepartmentofComputerandInformationScience, UniversityofPennsylvania,Philadelphia,PA19104, August1994.
[35] [36]L.Wong.AnintroductiontoRemy’sfastpolymorphic projection.ACMSIGMODRecord,24(3):34{39,1995.}
[36] [37]L.Wong.Kleisli,afunctionalquerysystem.J.Funct.Prog., 10(1):19{56,2000.}
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.