{"created":"2025-01-19T01:12:47.306017+00:00","updated":"2025-01-19T17:43:46.309648+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00211645","sets":["934:935:10452:10588"]},"path":["10588"],"owner":"44499","recid":"211645","title":["A Proposal for an Interactive Shell Based on a Typed Lambda Calculus"],"pubdate":{"attribute_name":"公開日","attribute_value":"2021-06-15"},"_buckets":{"deposit":"ebfe5b3c-1c76-421f-8e7e-24668bd28208"},"_deposit":{"id":"211645","pid":{"type":"depid","value":"211645","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"A Proposal for an Interactive Shell Based on a Typed Lambda Calculus","author_link":["538088","538089"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Proposal for an Interactive Shell Based on a Typed Lambda Calculus"},{"subitem_title":"A Proposal for an Interactive Shell Based on a Typed Lambda Calculus","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"[発表概要, Unrefereed Presentatin Abstract] ","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2021-06-15","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Information Processing Society of Japan Special Interest Group on Programming／Graduate School of Arts and Sciences, The Open University of Japan"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Information Processing Society of Japan Special Interest Group on Programming / Graduate School of Arts and Sciences, The Open University of Japan","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/211645/files/IPSJ-TPRO1403005.pdf","label":"IPSJ-TPRO1403005.pdf"},"date":[{"dateType":"Available","dateValue":"2023-06-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO1403005.pdf","filesize":[{"value":"25.8 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"074d650c-7217-4d92-8149-a2ac5dd13e93","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2021 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kouji, Matsui"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kouji, Matsui","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"This presentation presents Favalon, a functional programming language built on the premise of a lambda calculus for use as an interactive shell replacement. Favalon seamlessly integrates with typed versions of existing libraries and commands using type inference, flexible runtime type metadata, and the same techniques employed by shells to link commands together. Much of Favalon's syntax is customizable via user-defined functions, allowing it to be extended by anyone who is familiar with a command-line shell. Furthermore, Favalon's type inference engine can be separated from its runtime library and easily repurposed for other applications.","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"This presentation presents Favalon, a functional programming language built on the premise of a lambda calculus for use as an interactive shell replacement. Favalon seamlessly integrates with typed versions of existing libraries and commands using type inference, flexible runtime type metadata, and the same techniques employed by shells to link commands together. Much of Favalon's syntax is customizable via user-defined functions, allowing it to be extended by anyone who is familiar with a command-line shell. Furthermore, Favalon's type inference engine can be separated from its runtime library and easily repurposed for other applications.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"3","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"3","bibliographicIssueDates":{"bibliographicIssueDate":"2021-06-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicVolumeNumber":"14"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":211645,"links":{}}