Programming language semantics: It’s easy as 1,2,3
Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a tutorial introduction to the subject, in which the language of integers and addition is used as a minimal setting in which to present a range o...
Uloženo v:
| Vydáno v: | Journal of functional programming Ročník 33 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge, UK
Cambridge University Press
26.10.2023
|
| Témata: | |
| ISSN: | 0956-7968, 1469-7653 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a tutorial introduction to the subject, in which the language of integers and addition is used as a minimal setting in which to present a range of semantic concepts in simple manner. In this setting, it is easy as 1,2,3. |
|---|---|
| AbstractList | Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a tutorial introduction to the subject, in which the language of integers and addition is used as a minimal setting in which to present a range of semantic concepts in simple manner. In this setting, it is easy as 1,2,3. |
| ArticleNumber | e9 |
| Author | HUTTON, GRAHAM |
| Author_xml | – sequence: 1 givenname: GRAHAM orcidid: 0000-0001-9584-5150 surname: HUTTON fullname: HUTTON, GRAHAM email: graham.hutton@nottingham.ac.uk organization: University of Nottingham, Nottingham NG7 2RD, UK (e-mail: graham.hutton@nottingham.ac.uk) |
| BookMark | eNp1kM1Kw0AUhQepYFt9AHcDbhud_x93UvwpFBTU9TCZzISUJqkzyaI7X8PX80lMaMGFeDcX7vnOuXBmYNK0jQfgEqNrjLC8eUWaC6mFIhQNI8kJmGImdCYFpxMwHeVs1M_ALKXNgCjC1RSwl9iW0dZ11ZRwa5uyt6WHyde26SqXbuGq-_78StDbtIc2QbwgC3oOToPdJn9x3HPw_nD_tnzK1s-Pq-XdOnMUky6zTFrpmNeKSq5tTjwrihCwUogVzDs9nJ1yGOlcM0EZQjl3IXAkecDCCToHV4fcXWw_ep86s2n72AwvDVEKCyqolAOFD5SLbUrRB7OLVW3j3mBkxnLMn3IGDz16bJ3Hqij9b_T_rh8ySGYr |
| Cites_doi | 10.1016/0304-3975(92)90014-7 10.1145/363235.363259 10.1145/888251.888254 10.7146/brics.v10i14.21784 10.2307/j.ctv36xw0k5.7 10.7551/mitpress/3054.001.0001 10.1017/S0956796897002864 10.1007/3540543961_7 10.1145/3547624 10.1007/978-3-540-27764-4_12 10.7146/brics.v11i26.21851 10.1017/CBO9780511626364 10.1145/289423.289455 10.1145/289423.289457 10.1145/3607855 10.1007/978-3-319-30936-1_10 10.1007/11964681_6 10.1093/comjnl/6.4.308 10.1016/j.jlap.2004.03.008 10.1017/CBO9781316576892 10.1145/800194.805852 10.1016/j.scico.2007.10.007 10.1017/S0956796807006363 10.1093/comjnl/12.1.41 10.1145/1328438.1328474 10.1145/3473587 10.1007/BF01211308 10.1145/1411204.1411206 10.7551/mitpress/1188.001.0001 10.1090/psapm/019/0242403 10.1145/357172.357179 10.2307/j.ctv36xvmkd.5 |
| ContentType | Journal Article |
| Copyright | The Author(s), 2023. Published by Cambridge University Press The Author(s), 2023. Published by Cambridge University Press. This work is licensed under the Creative Commons Attribution License This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited. (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: The Author(s), 2023. Published by Cambridge University Press – notice: The Author(s), 2023. Published by Cambridge University Press. This work is licensed under the Creative Commons Attribution License This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited. (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | IKXGN AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI Q9U |
| DOI | 10.1017/S0956796823000072 |
| DatabaseName | Cambridge Journals Open Access CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central ProQuest Technology Collection ProQuest One Community College ProQuest Central Korea ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | CrossRef Computer Science Database |
| Database_xml | – sequence: 1 dbid: IKXGN name: Cambridge University Press Wholly Gold Open Access Journals url: http://journals.cambridge.org/action/login sourceTypes: Publisher – sequence: 2 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1469-7653 |
| ExternalDocumentID | 10_1017_S0956796823000072 |
| GroupedDBID | -1D -E. .DC .FH 09C 09E 0E1 4.4 5GY 5VS 6OB 74X 74Y 7~V 85S AAAZR AABES AABWE AACJH AAEED AAFUK AAGFV AAKTX AAMNQ AANRG AARAB AASVR AAUIS AAUKB ABBXD ABITZ ABJNI ABKKG ABMWE ABMYL ABQTM ABQWD ABROB ABTCQ ABZCX ACBMC ACCHT ACGFS ACIMK ACQFJ ACREK ACUIJ ACUYZ ACWGA ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADGEJ ADKIL ADOCW ADVJH AEBAK AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKSM AFLOS AFLVW AFUTZ AGABE AGBYD AGJUD AGOOT AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV BBLKV BENPR BGHMG BLZWO BMAJL C0O CBIIA CCQAD CCTKK CFAFE CJCSC CS3 DOHLZ DU5 EBS HCIFZ HG- HST I.6 IH6 IKXGN IOEEP IPYYG IS6 I~P J36 J38 J3A JHPGK JQKCU KCGVB KFECR L98 LW7 M-V M7~ NIKVX OK1 OYBOY P2P PYCCK RAMDC RCA ROL RR0 S6- S6U SAAAG T9M TWZ UT1 WFFJZ WQ3 WXU WXY WYP YYM ZYDXJ -1F -2P -2V -~6 -~N 0R~ 29K 6~7 8FE 8FG 8R4 8R5 9M5 AAKNA AATMM AAYXX ABBZL ABEFU ABGDZ ABUWG ABVFV ABVKB ABVZP ABXAU ABXHF ABZUI ACAJB ACDLN ACEJA ACETC ACRPL ADNMO ADOVH ADOVT AEBPU AEHGV AEMFK AENCP AFFHD AFKRA AFZFC AGLWM AGQPQ AKMAY AKZCZ AMVHM ANOYL ARZZG AYIQA AZQEC BCGOX BESQT BGLVJ BJBOZ BPHCQ BQFHP CAG CCPQU CCUQV CDIZJ CFBFF CGQII CHEAL CITATION COF D-I DC4 DWQXO EGQIC EJD GNUQQ I.7 I.9 IOO K6V K7- KAFGG LHUNA M48 M8. NMFBF NZEOI P62 PHGZM PHGZT PQGLB PQQKQ PROAC Q2X ZDLDU ZJOSE ZMEZD ZY4 ~V1 3V. 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D M0N PKEHL PQEST PQUKI PUEGO Q9U |
| ID | FETCH-LOGICAL-c312t-a47a7c4e983759ab2e4ddff18804d4ec9375c8c109b9463400b5cff5075f16c63 |
| IEDL.DBID | IKXGN |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001087131900001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0956-7968 |
| IngestDate | Sat Aug 23 13:02:27 EDT 2025 Sat Nov 29 05:37:00 EST 2025 Wed Mar 13 05:50:28 EDT 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| License | This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited. |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c312t-a47a7c4e983759ab2e4ddff18804d4ec9375c8c109b9463400b5cff5075f16c63 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0001-9584-5150 |
| OpenAccessLink | https://www.cambridge.org/core/product/identifier/S0956796823000072/type/journal_article |
| PQID | 2881636377 |
| PQPubID | 37264 |
| PageCount | 26 |
| ParticipantIDs | proquest_journals_2881636377 crossref_primary_10_1017_S0956796823000072 cambridge_journals_10_1017_S0956796823000072 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-10-26 |
| PublicationDateYYYYMMDD | 2023-10-26 |
| PublicationDate_xml | – month: 10 year: 2023 text: 2023-10-26 day: 26 |
| PublicationDecade | 2020 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Journal of functional programming |
| PublicationTitleAlternate | J. Funct. Prog |
| PublicationYear | 2023 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| References | 2007; 17 2009; 74 2020 1964; 6 1992; 103 1982; 4 1969; 12 1999; 165 2005; 65 2017 2015 2004 1994; 3 2004; 60-61 1997; 7 1994; 6 S0956796823000072_ref39 S0956796823000072_ref37 Abramsky (S0956796823000072_ref3) 1999; 165 S0956796823000072_ref36 S0956796823000072_ref35 S0956796823000072_ref9 S0956796823000072_ref34 S0956796823000072_ref33 S0956796823000072_ref32 S0956796823000072_ref5 S0956796823000072_ref8 S0956796823000072_ref4 Pierce (S0956796823000072_ref45) 2002 S0956796823000072_ref31 S0956796823000072_ref30 Schmidt (S0956796823000072_ref50) 1986 Abbott (S0956796823000072_ref1) 2005; 65 S0956796823000072_ref27 S0956796823000072_ref26 S0956796823000072_ref25 S0956796823000072_ref24 S0956796823000072_ref23 Plotkin (S0956796823000072_ref47) 2004 S0956796823000072_ref22 S0956796823000072_ref21 Abramsky (S0956796823000072_ref2) 1994; 3 Hutton (S0956796823000072_ref28) 2017 S0956796823000072_ref29 Mosses (S0956796823000072_ref41) 2005 S0956796823000072_ref20 Bahr (S0956796823000072_ref6) 2015 S0956796823000072_ref17 S0956796823000072_ref16 S0956796823000072_ref15 S0956796823000072_ref14 S0956796823000072_ref13 S0956796823000072_ref12 S0956796823000072_ref11 S0956796823000072_ref55 S0956796823000072_ref10 S0956796823000072_ref54 S0956796823000072_ref19 S0956796823000072_ref18 Milner (S0956796823000072_ref38) 1999 S0956796823000072_ref53 S0956796823000072_ref52 S0956796823000072_ref51 S0956796823000072_ref49 S0956796823000072_ref48 S0956796823000072_ref46 S0956796823000072_ref44 S0956796823000072_ref43 Bahr (S0956796823000072_ref7) 2020 S0956796823000072_ref42 S0956796823000072_ref40 |
| References_xml | – volume: 6 start-page: 308 year: 1964 end-page: 320 article-title: The mechanical evaluation of expressions publication-title: Comput. J. – volume: 65 start-page: 1 issue: 1-2 year: 2005 end-page: 28 article-title: $\delta$ for data: Differentiating data structures publication-title: Fundam. Inform. – volume: 60-61 start-page: 195 year: 2004 end-page: 228 article-title: Modular structural operational semantics publication-title: J. Logic Algebraic Program. – volume: 74 start-page: 534 issue: 8 year: 2009 end-page: 549 article-title: Refunctionalization at work publication-title: Sci. Comput. Program. – volume: 7 start-page: 549 issue: 5 year: 1997 end-page: 554 article-title: The zipper publication-title: J. Funct. Program. – volume: 165 start-page: 1 year: 1999 end-page: 55 article-title: Game semantics publication-title: Comput. Logic – volume: 3 start-page: 1 year: 1994 end-page: 168 article-title: Domain theory publication-title: Handbook of Logic in Computer Science – start-page: 27 year: 2017 article-title: Compiling a 50-year journey publication-title: J. Funct. Program. – volume: 12 start-page: 41 issue: 1 year: 1969 end-page: 48 article-title: Proving properties of programs by structural induction publication-title: Comput. J. – volume: 6 start-page: 440 issue: 4 year: 1994 end-page: 465 article-title: Inductive families publication-title: Formal Aspects Comput. – volume: 17 start-page: 777 issue: 6 year: 2007 end-page: 792 article-title: What is the meaning of these constant interruptions? publication-title: J. Funct. Program. – start-page: 30 year: 2020 article-title: Calculating correct compilers II: Return of the register machines publication-title: J. Funct. Program. – volume: 12 start-page: 576 year: 1969 end-page: 583 article-title: An axiomatic basis for computer programming publication-title: Commun. ACM – volume: 103 start-page: 235 issue: 2 year: 1992 end-page: 271 article-title: The revised report on the syntactic theories of sequential control and state publication-title: Theoret. Comput. Sci. – volume: 4 start-page: 496 issue: 3 year: 1982 end-page: 517 article-title: Deriving target code as a representation of continuation semantics publication-title: ACM Trans. Program. Lang. Syst. – start-page: 25 year: 2015 article-title: Calculating correct compilers publication-title: J. Funct. Program. – start-page: 60 year: 2004 end-page: 61 article-title: The origins of structural operational semantics publication-title: J. Logic Algebraic Program. – volume: 65 start-page: 1 year: 2005 ident: S0956796823000072_ref1 article-title: $\delta$ for data: Differentiating data structures publication-title: Fundam. Inform. – volume: 3 start-page: 1 year: 1994 ident: S0956796823000072_ref2 article-title: Domain theory publication-title: Handbook of Logic in Computer Science – ident: S0956796823000072_ref16 doi: 10.1016/0304-3975(92)90014-7 – ident: S0956796823000072_ref20 doi: 10.1145/363235.363259 – ident: S0956796823000072_ref23 – ident: S0956796823000072_ref4 doi: 10.1145/888251.888254 – ident: S0956796823000072_ref5 doi: 10.7146/brics.v10i14.21784 – ident: S0956796823000072_ref52 – ident: S0956796823000072_ref37 – ident: S0956796823000072_ref30 doi: 10.2307/j.ctv36xw0k5.7 – ident: S0956796823000072_ref54 doi: 10.7551/mitpress/3054.001.0001 – ident: S0956796823000072_ref14 – ident: S0956796823000072_ref25 doi: 10.1017/S0956796897002864 – ident: S0956796823000072_ref43 – ident: S0956796823000072_ref36 doi: 10.1007/3540543961_7 – ident: S0956796823000072_ref8 doi: 10.1145/3547624 – start-page: 25 year: 2015 ident: S0956796823000072_ref6 article-title: Calculating correct compilers publication-title: J. Funct. Program. – ident: S0956796823000072_ref51 – ident: S0956796823000072_ref29 doi: 10.1007/978-3-540-27764-4_12 – volume-title: Types and Programming Languages year: 2002 ident: S0956796823000072_ref45 – volume-title: Communicating and Mobile Systems: The Pi Calculus year: 1999 ident: S0956796823000072_ref38 – ident: S0956796823000072_ref13 doi: 10.7146/brics.v11i26.21851 – start-page: 30 year: 2020 ident: S0956796823000072_ref7 article-title: Calculating correct compilers II: Return of the register machines publication-title: J. Funct. Program. – start-page: 27 year: 2017 ident: S0956796823000072_ref28 article-title: Compiling a 50-year journey publication-title: J. Funct. Program. – ident: S0956796823000072_ref55 – ident: S0956796823000072_ref49 doi: 10.1017/CBO9780511626364 – volume-title: Action Semantics year: 2005 ident: S0956796823000072_ref41 – ident: S0956796823000072_ref17 doi: 10.1145/289423.289455 – ident: S0956796823000072_ref26 doi: 10.1145/289423.289457 – ident: S0956796823000072_ref9 doi: 10.1145/3607855 – ident: S0956796823000072_ref27 doi: 10.1007/978-3-319-30936-1_10 – volume-title: Denotational Semantics: A Methodology for Language Development year: 1986 ident: S0956796823000072_ref50 – ident: S0956796823000072_ref22 doi: 10.1007/11964681_6 – ident: S0956796823000072_ref33 doi: 10.1093/comjnl/6.4.308 – ident: S0956796823000072_ref40 doi: 10.1016/j.jlap.2004.03.008 – ident: S0956796823000072_ref19 doi: 10.1017/CBO9781316576892 – ident: S0956796823000072_ref48 doi: 10.1145/800194.805852 – ident: S0956796823000072_ref12 doi: 10.1016/j.scico.2007.10.007 – volume: 165 start-page: 1 year: 1999 ident: S0956796823000072_ref3 article-title: Game semantics publication-title: Comput. Logic – ident: S0956796823000072_ref31 doi: 10.1017/S0956796807006363 – ident: S0956796823000072_ref10 doi: 10.1093/comjnl/12.1.41 – start-page: 60 year: 2004 ident: S0956796823000072_ref47 article-title: The origins of structural operational semantics publication-title: J. Logic Algebraic Program. – ident: S0956796823000072_ref34 doi: 10.1145/1328438.1328474 – ident: S0956796823000072_ref44 doi: 10.1145/3473587 – ident: S0956796823000072_ref32 – ident: S0956796823000072_ref15 doi: 10.1007/BF01211308 – ident: S0956796823000072_ref11 doi: 10.1145/1411204.1411206 – ident: S0956796823000072_ref39 – ident: S0956796823000072_ref18 doi: 10.7551/mitpress/1188.001.0001 – ident: S0956796823000072_ref35 doi: 10.1090/psapm/019/0242403 – ident: S0956796823000072_ref53 doi: 10.1145/357172.357179 – ident: S0956796823000072_ref21 – ident: S0956796823000072_ref24 doi: 10.2307/j.ctv36xvmkd.5 – ident: S0956796823000072_ref42 – ident: S0956796823000072_ref46 |
| SSID | ssj0008258 |
| Score | 2.342252 |
| Snippet | Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Index Database Publisher |
| SubjectTerms | Programming languages Semantics Tutorial Paper Valuation |
| SummonAdditionalLinks | – databaseName: Computer Science Database dbid: K7- link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3LSgMxFA1aXbixPrFaJQtX0qCTyWPiRkQsilK6UOmuZPKALvqwGQV3_oa_55eYzKO1CN24zQzDcHPvPSfJzbkAnGqpPe_mFCkTS0SIYUgojRGTliVWWpnmcgwvj7zTSXo90S033FxZVlnlxDxR67EKe-TnOEk8dWAx51eTVxS6RoXT1bKFxipYizCOgp8_cDTLxH71k1Rae1ywpDrVzCWj_WAY8xQ84CT-ra2wiFGLKTrHnXb9v3-8BTZLxgmvCxfZBitmtAPqVTcHWAb3LiDdolRr6MEMVtuY0Jmht_1AuUt4n31_fjlopPuA0sGohVvxHnhu3z7d3KGypwJScYQzJAmXXBEj_MKUCpliQ7S2NqiyEU2M8myFqkRFFyIVhMU-wlOqrPWskdqIKRbvg9poPDIH4ba3zw8-3oVW1k93LIlHQ0o9ZSFUmpQ3QGtm0X4ZGa5fVJXx_p8JaICzyuj9SaG0sezlZmXz-afnBj9c_vgIbISu8QGCMGuCWjZ9M8dgXb1nAzc9yX3oBzgYyWg priority: 102 providerName: ProQuest |
| Title | Programming language semantics: It’s easy as 1,2,3 |
| URI | https://www.cambridge.org/core/product/identifier/S0956796823000072/type/journal_article https://www.proquest.com/docview/2881636377 |
| Volume | 33 |
| WOSCitedRecordID | wos001087131900001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAEN databaseName: Cambridge University Press Wholly Gold Open Access Journals customDbUrl: eissn: 1469-7653 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0008258 issn: 0956-7968 databaseCode: IKXGN dateStart: 19910101 isFulltext: true titleUrlDefault: http://journals.cambridge.org/action/login providerName: Cambridge University Press – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1469-7653 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0008258 issn: 0956-7968 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1469-7653 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0008258 issn: 0956-7968 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1469-7653 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0008258 issn: 0956-7968 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LS8NAEB768ODF-sRqLTl4kobaZB-JN5VWS6UUXxQvYbPZhR5aS1MFb_4N_56_xNk8qlUQPHjJIYQJO7N88-3u7DcAh5GIkHdzakvlCpsQxWxfRo7NhGaeFlqEiRzD_RXv973h0B8UYJjfhTFllQuNg-QkP-mPNk3lT5ujKK2hUbPmjZHQ4z4zJ0Um0zlNs2nZzEIQZI4vQhkZjOOUoNztDS_6C5TGlZGX6_AZK_mJZyIn_c3yV92F5fy1DN9JTupU_m8067CW8VTrNH2zAQU12YRK3gPCyiBhC8ggLfAaYwq08s1PK1ZjjNhIxidWd_7--hZbSsQvloitVsNpuNtw12nfnl_aWScGW6Lz5rYgXHBJlI_LWeqL0FEkirQ2Wm4kIkoix6HSk61jP_QJcxEXQiq1Rq5JdYtJ5u5AafI4UbvmjjiiCqKEH0mNk8QVBHMopUh0CBUq5FVoLDwWZMOPg7QWjQc_3FSFozwcwTTV5_jt41oesE_TjuchJ2Uu53t_-_U-rJre8yaROawGpfnsSR3Ainyej-JZHcpn7f7gup7NuzoUe9zG54A-fABLAuOc |
| linkProvider | Cambridge University Press |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8QwEB58gV58i-szB73IFt00j1YQER-4uC57UBEvNU0T8OCq21Xx5t_wT_ij_CVO2o0PBG8evKYllH6T-b5JJjMAK5nKUHdLHmgTqoAxI4JYZzQQyorIKqvSohzDWUM2m9H5edzqg1d_F8alVXqfWDjq7Ea7PfJ1GkUoHUQo5fbtXeC6RrnTVd9CozSLI_P0iCFbvlXfQ3xXKT3YP9k9DHpdBQId1mg3UEwqqZmJMTTjsUqpYVlmratLxjJmNPI115GubcRpzESINp5ybS3qJm5rQosQ5-2HQcYwWML10-IXH54fo63I1_aTsYj8KWpRohoH3RhKfsfL9Gsth--c-J0SCp47GPtvf2gcRnuKmuyUS2AC-kx7EsZ8twrSc15TwFplKto1kjXx27QkN9doW1c63yT17tvzS06Myp-IykmtSqvhNJz-ybfPwED7pm1m3W129H_oz-JMWzTnUDFke85RkjGuTCorUP1AMOmt_Dwps-Zk8gPwCqx5kJPbspLIby8veIw_p_4EeO73x8swfHhy3Ega9ebRPIxQ1GWObqlYgIFu594swpB-6F7lnaXCfglc_rU5vAMThCYM |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Programming+language+semantics%3A+It%E2%80%99s+easy+as+1%2C2%2C3&rft.jtitle=Journal+of+functional+programming&rft.au=HUTTON%2C+GRAHAM&rft.date=2023-10-26&rft.issn=0956-7968&rft.eissn=1469-7653&rft.volume=33&rft_id=info:doi/10.1017%2FS0956796823000072&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S0956796823000072 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0956-7968&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0956-7968&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0956-7968&client=summon |