Difference between revisions of "Abbreviations"
From HaskellWiki
(→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.