Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(→An overview of Haskell related abbreviations: Updated links) |
m (Updated links) |
||
Line 38: | Line 38: | ||
|- |
|- |
||
| AMP |
| AMP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Functor-Applicative-Monad_Proposal Applicative-Monad Proposal] |
|- |
|- |
||
| ANN |
| ANN |
||
Line 56: | Line 56: | ||
|- |
|- |
||
| AT |
| AT |
||
− | | [[Abstract data type | Abstract (Data) Type]] / [http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html Associated (Data) Type] (see also [http:// |
+ | | [[Abstract data type | Abstract (Data) Type]] / [http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html Associated (Data) Type] (see also [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.646.5887&rep=rep1&type=pdf Associated types with class]) |
|- |
|- |
||
| BE |
| BE |
||
Line 120: | Line 120: | ||
|- |
|- |
||
| EHC |
| EHC |
||
− | | The [ |
+ | | The [https://web.archive.org/web/20160916002228/foswiki.cs.uu.nl/foswiki/Ehc/WebHome Essential Haskell Compiler] |
|- |
|- |
||
| elt |
| elt |
||
Line 135: | Line 135: | ||
|- |
|- |
||
| FHM |
| FHM |
||
− | | [ |
+ | | [https://db.inf.uni-tuebingen.de/team/GeorgeGiorgidze.html Functional Hybrid Modeling] |
|- |
|- |
||
| FPL |
| FPL |
||
Line 147: | Line 147: | ||
|- |
|- |
||
| FSF |
| FSF |
||
− | | [ |
+ | | [https://www.fsf.org/ Free Software Foundation] |
|- |
|- |
||
| FTP |
| FTP |
||
Line 165: | Line 165: | ||
|- |
|- |
||
| GHC |
| GHC |
||
− | | [ |
+ | | [https://www.haskell.org/ghc/ Glasgow Haskell Compiler] |
|- |
|- |
||
| GPL |
| GPL |
||
Line 186: | Line 186: | ||
|- |
|- |
||
| HBC |
| HBC |
||
− | | [ |
+ | | [https://wiki.haskell.org/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Compiler] |
|- |
|- |
||
| HBI |
| HBI |
||
− | | [ |
+ | | [https://wiki.haskell.org/Implementations#HBI_and_HBC.2C_Chalmers.27_Haskell_Interpreter_and_Compiler Haskell-B Interpreter] |
|- |
|- |
||
| HCAR |
| HCAR |
||
− | | [ |
+ | | [https://wiki.haskell.org/Haskell_Communities_and_Activities_Report Haskell Communities and Activities Report] |
|- |
|- |
||
| HIE |
| HIE |
||
Line 198: | Line 198: | ||
|- |
|- |
||
| HNF |
| HNF |
||
− | | [ |
+ | | [https://encyclopedia2.thefreedictionary.com/head+normal+form Head Normal Form] |
|- |
|- |
||
| HOAS |
| HOAS |
||
Line 210: | Line 210: | ||
|- |
|- |
||
| HPFFP |
| HPFFP |
||
− | | [ |
+ | | [https://haskellbook.com/ Haskell Programming From First Principles] (book) |
|- |
|- |
||
| HSE |
| HSE |
||
Line 237: | Line 237: | ||
|- |
|- |
||
| IFL |
| IFL |
||
− | | [ |
+ | | [[Conferences#Implementation_of_Functional_Languages_.28IFL.29 | Implementation and Application of Functional Languages]], symposium |
|- |
|- |
||
| IHG |
| IHG |
||
Line 342: | Line 342: | ||
|- |
|- |
||
| nhc98 |
| nhc98 |
||
− | | [ |
+ | | [https://www.haskell.org/nhc98/ Nearly a Haskell Compiler] |
|- |
|- |
||
| NLP |
| NLP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Applications_and_libraries/Linguistics#Natural_language_processing_and_combinatory_logic Natural Language Processing] |
|- |
|- |
||
| OCAML |
| OCAML |
||
Line 360: | Line 360: | ||
|- |
|- |
||
| PADL |
| PADL |
||
− | | [ |
+ | | [https://wiki.haskell.org/Conferences#Practical_Aspects_of_Declarative_Languages_.28PADL.29 Practical Aspects of Declarative Languages], symposium |
|- |
|- |
||
| PM |
| PM |
||
Line 408: | Line 408: | ||
|- |
|- |
||
| SICP |
| SICP |
||
− | | [https://mitpress.mit.edu/sicp/full-text/book/book.html Structure and Interpretation of Computer Programs] |
+ | | [https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book.html Structure and Interpretation of Computer Programs] |
|- |
|- |
||
| SML |
| SML |
||
Line 423: | Line 423: | ||
|- |
|- |
||
| SOE |
| SOE |
||
− | | [ |
+ | | [https://wiki.haskell.org/Books#Textbooks Haskell School Of Expression] (title of a book) |
|- |
|- |
||
| SORF |
| SORF |
||
Line 432: | Line 432: | ||
|- |
|- |
||
| SPOJ |
| SPOJ |
||
− | | [ |
+ | | [https://www.spoj.com/ Sphere Online Judge], an online judge system with over 9000 problems. The solution to problems can be submitted in over 40 languages, including Haskell |
|- |
|- |
||
| SQL |
| SQL |
||
Line 450: | Line 450: | ||
|- |
|- |
||
| TaPL |
| TaPL |
||
− | | [ |
+ | | [https://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages] (book) |
|- |
|- |
||
| TCM |
| TCM |
||
Line 465: | Line 465: | ||
|- |
|- |
||
| TFP |
| TFP |
||
− | | [ |
+ | | [https://wiki.haskell.org/Conferences#Trends_in_Functional_Programming_.28TFP.29 Trends in Functional Programming], symposium |
|- |
|- |
||
| TH |
| TH |
||
Line 492: | Line 492: | ||
|- |
|- |
||
| UHC |
| UHC |
||
− | | [ |
+ | | [https://web.archive.org/web/20170729171806/foswiki.cs.uu.nl/foswiki/UHC Utrecht Haskell Compiler] |
|- |
|- |
||
| UTF8 |
| UTF8 |
Revision as of 14:51, 21 November 2019
Note: if there is an abbreviation you cannot find here, it might be the name of a package, so check the Hackage package list. For GHC related abbreviations, see GHC Source Code Abbreviations. The abbreviation might also indicate a conference.