Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(Updated some links to solve redirects) |
(Updated links) |
||
(10 intermediate revisions by 3 users not shown) | |||
Line 29: | Line 29: | ||
|- |
|- |
||
| AFRP |
| AFRP |
||
− | | [[ |
+ | | [[Arrows-based Functional Reactive Programming]] |
|- |
|- |
||
| AKA |
| AKA |
||
Line 38: | Line 38: | ||
|- |
|- |
||
| ANN |
| ANN |
||
+ | | ANNouncement / [http://en.wikipedia.org/wiki/Artificial_neural_network Artificial Neural Network] |
||
− | | Announcement |
||
|- |
|- |
||
| API |
| API |
||
− | | [http://en.wikipedia.org/wiki/Application_programming_interface Application |
+ | | [http://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface] |
|- |
|- |
||
| aPToP |
| aPToP |
||
Line 50: | Line 50: | ||
|- |
|- |
||
| 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://www.cse.unsw.edu.au/~chak/papers/CKPM05.html Associated types with class]) |
|- |
|- |
||
| BE |
| BE |
||
Line 113: | Line 113: | ||
|- |
|- |
||
| FAQ |
| FAQ |
||
− | | Frequently Asked Questions |
+ | | [[:Category:FAQ | Frequently Asked Questions]] |
|- |
|- |
||
| FD |
| FD |
||
Line 122: | Line 122: | ||
|- |
|- |
||
| FHM |
| FHM |
||
− | | [http://db.inf.uni-tuebingen.de/team/ |
+ | | [http://db.inf.uni-tuebingen.de/team/alumni/giorgidze Functional Hybrid Modeling] |
|- |
|- |
||
| FPL |
| FPL |
||
Line 164: | Line 164: | ||
|- |
|- |
||
| HaLVM |
| HaLVM |
||
− | | [ |
+ | | [https://github.com/GaloisInc/HaLVM Haskell Lightweight Virtual Machine] |
|- |
|- |
||
| HBC |
| HBC |
||
Line 278: | Line 278: | ||
|- |
|- |
||
| LYAH |
| LYAH |
||
+ | | [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] |
||
+ | |- |
||
+ | | LYAHFGG |
||
| [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] |
| [http://learnyouahaskell.com/ Learn You a Haskell for Great Good!] |
||
|- |
|- |
||
| ML |
| ML |
||
− | | A programming language / Mailing |
+ | | A [http://en.wikipedia.org/wiki/ML_(programming_language) programming language] / Mailing List / Machine Learning |
|- |
|- |
||
| MMR |
| MMR |
||
− | | [[MonoMorphism Restriction]] |
+ | | [[Monomorphism Restriction | MonoMorphism Restriction]] |
|- |
|- |
||
| MPTC |
| MPTC |
||
Line 296: | Line 299: | ||
|- |
|- |
||
| NCG |
| NCG |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/NCG Native Code Generator], a GHC backend |
|- |
|- |
||
| NF |
| NF |
||
Line 314: | Line 317: | ||
|- |
|- |
||
| OP |
| OP |
||
− | | Original Poster (who sent the first e-mail of the current thread) |
+ | | Original Poster (who sent the first e-mail of the current thread) or Original Post (the first e-mail of the current thread) |
|- |
|- |
||
| OT |
| OT |
||
Line 383: | Line 386: | ||
|- |
|- |
||
| SORF |
| SORF |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields Simple Overloaded Record Fields] |
|- |
|- |
||
| SPJ |
| SPJ |
||
Line 389: | Line 392: | ||
|- |
|- |
||
| SPOJ |
| SPOJ |
||
− | | [http://www.spoj. |
+ | | [http://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 396: | Line 399: | ||
| STG machine |
| STG machine |
||
| [http://research.microsoft.com/en-us/um/people/simonpj/papers/spineless-tagless-gmachine.ps.gz Spineless Tagless G-machine] (the link points to a .ps.gz file) |
| [http://research.microsoft.com/en-us/um/people/simonpj/papers/spineless-tagless-gmachine.ps.gz Spineless Tagless G-machine] (the link points to a .ps.gz file) |
||
+ | |- |
||
+ | | STLC |
||
+ | | [http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus Simply Typed Lambda Calculus] |
||
|- |
|- |
||
| STM |
| STM |
||
Line 413: | Line 419: | ||
|- |
|- |
||
| TDNR |
| TDNR |
||
− | | [http:// |
+ | | [http://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution Type Directed Name Resolution] |
|- |
|- |
||
| TF |
| TF |
||
Line 441: | Line 447: | ||
| TMR |
| TMR |
||
| [[The Monad.Reader]] |
| [[The Monad.Reader]] |
||
+ | |- |
||
+ | | TTBOMK |
||
+ | | To the best of my knowledge |
||
|- |
|- |
||
| UHC |
| UHC |
||
Line 455: | Line 464: | ||
|- |
|- |
||
| WHNF |
| WHNF |
||
− | | [ |
+ | | [[Weak head normal form | Weak Head Normal Form]] |
|- |
|- |
||
| wrt |
| wrt |
||
− | | With Respect To, or With Regard To |
+ | | With Respect To, or With Regard To |
|- |
|- |
||
| XML |
| XML |
Revision as of 06:55, 14 July 2013
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/List of abbreviations.