{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:22:45Z","timestamp":1725438165766},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/icdim.2010.5664259","type":"proceedings-article","created":{"date-parts":[[2010,12,14]],"date-time":"2010-12-14T20:28:00Z","timestamp":1292358480000},"page":"75-80","source":"Crossref","is-referenced-by-count":0,"title":["High-order functions and their ordering relations"],"prefix":"10.1109","author":[{"given":"Kevin H.","family":"Xu","sequence":"first","affiliation":[]},{"given":"Jingsong","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Shelby","family":"Gao","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Let a Data Model be a Class of Total Recursive Functions","author":"xu","year":"2010","journal-title":"The International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10)"},{"key":"ref3","article-title":"Froglingo, an Monolithic alternative to DBMS, Programming Language, Web Server, and File System","author":"xu","year":"2010","journal-title":"The Fifth International Conference on Evaluation of Novel Approaches to Software Engineering"},{"journal-title":"A User's Guide to Froglingo An Alternative to DBMS Programming Language File System and Web Server","year":"0","author":"xu","key":"ref6"},{"key":"ref5","article-title":"An Assessment on the Easiness of Computer Languages","author":"xu","year":"2010","journal-title":"The Journal of Information Technology Review"},{"key":"ref8","article-title":"EP Data Model, a Language for Higher-Order Functions","author":"xu","year":"1999","journal-title":"Unpublished manuscript"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICADIWT.2009.5273928"},{"key":"ref2","article-title":"Survey of Knowledge Representation and Reasoning Systems","author":"trentelman","year":"2009","journal-title":"DSTO-TR-2324"},{"key":"ref9","first-page":"410","article-title":"An Introductioin to Enterprise-Participant Data Model","author":"xu","year":"1996","journal-title":"Seventh International Worshop on Database and Expert Systems Applications"},{"article-title":"The Lambda Calculus-its Syntax and Semantics","year":"1984","author":"barendregt","key":"ref1"}],"event":{"name":"2010 Fifth International Conference on Digital Information Management (ICDIM)","start":{"date-parts":[[2010,7,5]]},"location":"Thunder Bay, ON, Canada","end":{"date-parts":[[2010,7,8]]}},"container-title":["2010 Fifth International Conference on Digital Information Management (ICDIM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5644872\/5662242\/05664259.pdf?arnumber=5664259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T09:55:25Z","timestamp":1490090125000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5664259\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icdim.2010.5664259","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}