Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498982577> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1498982577 endingPage "392" @default.
- W1498982577 startingPage "388" @default.
- W1498982577 abstract "Current programming environments for novice functional programming (FP) are inadequate. This paper describes ways of using proofs as a foundation to improve the situation, in the context of the language ML [4]. The most common way to write ML programs is via a text editor and compiler (such as the Standard ML of New Jersey compiler). But program errors, in particular type errors, are generally difficult to track down. For novices, the lack of debugging support forms a barrier to learning FP concepts [5]." @default.
- W1498982577 created "2016-06-24" @default.
- W1498982577 creator A5017390818 @default.
- W1498982577 creator A5028391851 @default.
- W1498982577 creator A5040311876 @default.
- W1498982577 creator A5066545817 @default.
- W1498982577 date "1999-01-01" @default.
- W1498982577 modified "2023-09-26" @default.
- W1498982577 title "System Description: CYNTHIA" @default.
- W1498982577 cites W1590963539 @default.
- W1498982577 cites W2482394638 @default.
- W1498982577 doi "https://doi.org/10.1007/3-540-48660-7_36" @default.
- W1498982577 hasPublicationYear "1999" @default.
- W1498982577 type Work @default.
- W1498982577 sameAs 1498982577 @default.
- W1498982577 citedByCount "0" @default.
- W1498982577 crossrefType "book-chapter" @default.
- W1498982577 hasAuthorship W1498982577A5017390818 @default.
- W1498982577 hasAuthorship W1498982577A5028391851 @default.
- W1498982577 hasAuthorship W1498982577A5040311876 @default.
- W1498982577 hasAuthorship W1498982577A5066545817 @default.
- W1498982577 hasBestOaLocation W14989825772 @default.
- W1498982577 hasConcept C108710211 @default.
- W1498982577 hasConcept C115903868 @default.
- W1498982577 hasConcept C151730666 @default.
- W1498982577 hasConcept C168065819 @default.
- W1498982577 hasConcept C169590947 @default.
- W1498982577 hasConcept C199360897 @default.
- W1498982577 hasConcept C2524010 @default.
- W1498982577 hasConcept C2779343474 @default.
- W1498982577 hasConcept C33923547 @default.
- W1498982577 hasConcept C41008148 @default.
- W1498982577 hasConcept C86803240 @default.
- W1498982577 hasConceptScore W1498982577C108710211 @default.
- W1498982577 hasConceptScore W1498982577C115903868 @default.
- W1498982577 hasConceptScore W1498982577C151730666 @default.
- W1498982577 hasConceptScore W1498982577C168065819 @default.
- W1498982577 hasConceptScore W1498982577C169590947 @default.
- W1498982577 hasConceptScore W1498982577C199360897 @default.
- W1498982577 hasConceptScore W1498982577C2524010 @default.
- W1498982577 hasConceptScore W1498982577C2779343474 @default.
- W1498982577 hasConceptScore W1498982577C33923547 @default.
- W1498982577 hasConceptScore W1498982577C41008148 @default.
- W1498982577 hasConceptScore W1498982577C86803240 @default.
- W1498982577 hasLocation W14989825771 @default.
- W1498982577 hasLocation W14989825772 @default.
- W1498982577 hasOpenAccess W1498982577 @default.
- W1498982577 hasPrimaryLocation W14989825771 @default.
- W1498982577 hasRelatedWork W1580664042 @default.
- W1498982577 hasRelatedWork W1752249128 @default.
- W1498982577 hasRelatedWork W1833557437 @default.
- W1498982577 hasRelatedWork W1968942384 @default.
- W1498982577 hasRelatedWork W1975481696 @default.
- W1498982577 hasRelatedWork W1997199152 @default.
- W1498982577 hasRelatedWork W1997254051 @default.
- W1498982577 hasRelatedWork W2027565530 @default.
- W1498982577 hasRelatedWork W2034810774 @default.
- W1498982577 hasRelatedWork W2047497632 @default.
- W1498982577 hasRelatedWork W2077436409 @default.
- W1498982577 hasRelatedWork W2081945750 @default.
- W1498982577 hasRelatedWork W2090218653 @default.
- W1498982577 hasRelatedWork W2108185070 @default.
- W1498982577 hasRelatedWork W2119747572 @default.
- W1498982577 hasRelatedWork W2146010017 @default.
- W1498982577 hasRelatedWork W2149678462 @default.
- W1498982577 hasRelatedWork W2916738081 @default.
- W1498982577 hasRelatedWork W2464455520 @default.
- W1498982577 hasRelatedWork W2479490107 @default.
- W1498982577 isParatext "false" @default.
- W1498982577 isRetracted "false" @default.
- W1498982577 magId "1498982577" @default.
- W1498982577 workType "book-chapter" @default.