Difference between revisions of "Abbreviations"
Jump to navigation
Jump to search
(Updated some links) |
m (Updated links) |
||
Line 5: | Line 5: | ||
{| |
{| |
||
| ABI |
| ABI |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Application_binary_interface Application Binary Interface] |
|- |
|- |
||
| ADP |
| ADP |
||
Line 41: | Line 41: | ||
|- |
|- |
||
| ANN |
| ANN |
||
− | | ANNouncement / [ |
+ | | ANNouncement / [https://en.wikipedia.org/wiki/Artificial_neural_network Artificial Neural Network] |
|- |
|- |
||
| API |
| API |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Application_programming_interface Application Programming Interface] |
|- |
|- |
||
| aPToP |
| aPToP |
||
Line 53: | Line 53: | ||
|- |
|- |
||
| AST |
| AST |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Abstract_syntax_tree Abstract syntax tree] |
|- |
|- |
||
| AT |
| AT |
||
Line 59: | Line 59: | ||
|- |
|- |
||
| BE |
| BE |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Endianness Big Endian] |
|- |
|- |
||
| BSD |
| BSD |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/BSD_license Berkeley Software Distributions (license)] |
|- |
|- |
||
| Cabal |
| Cabal |
||
Line 74: | Line 74: | ||
|- |
|- |
||
| CFG |
| CFG |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Context-free_grammar Context-Free Grammar] |
|- |
|- |
||
| CFP |
| CFP |
||
Line 89: | Line 89: | ||
|- |
|- |
||
| CSE |
| CSE |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Common_subexpression_elimination Common subexpression elimination] |
|- |
|- |
||
| CUFP |
| CUFP |
||
Line 95: | Line 95: | ||
|- |
|- |
||
| DAG |
| DAG |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Directed_acyclic_graph Directed acyclic graph] |
|- |
|- |
||
| DFA |
| DFA |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Deterministic_finite_automaton Deterministic Finite Automaton], [https://en.wikipedia.org/wiki/Data_flow_analysis Data Flow Analysis], [https://en.wikipedia.org/wiki/Differential_fault_analysis Differential Fault Analysis] or [https://en.wikipedia.org/wiki/Dual_Factor_Authentication Dual Factor Authentication] |
|- |
|- |
||
| DPH |
| DPH |
||
Line 104: | Line 104: | ||
|- |
|- |
||
| DRY |
| DRY |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Don't_repeat_yourself Don't repeat yourself] |
|- |
|- |
||
| DSEL |
| DSEL |
||
Line 114: | Line 114: | ||
| DVCS |
| DVCS |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Distributed_version_control_system Distributed Version Control System] |
|- |
|- |
||
| EDSL |
| EDSL |
||
Line 180: | Line 180: | ||
|- |
|- |
||
| GUI |
| GUI |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Graphical_User_Interface Graphical User Interface] |
|- |
|- |
||
| HaLVM |
| HaLVM |
||
Line 198: | Line 198: | ||
|- |
|- |
||
| HOAS |
| HOAS |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Higher-order_abstract_syntax Higher-Order Abstract Syntax] (using binding in the host language to represent binding in the embedded language) |
|- |
|- |
||
| HOF |
| HOF |
||
Line 216: | Line 216: | ||
|- |
|- |
||
| HTML |
| HTML |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/HTML HyperText Markup Language] |
|- |
|- |
||
| HUGS |
| HUGS |
||
Line 279: | Line 279: | ||
|- |
|- |
||
| JVM |
| JVM |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Java_Virtual_Machine Java Virtual Machine] |
|- |
|- |
||
| LE |
| LE |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Endianness Little Endian] |
|- |
|- |
||
| LGPL |
| LGPL |
||
Line 312: | Line 312: | ||
|- |
|- |
||
| ML |
| ML |
||
− | | A [ |
+ | | A [https://en.wikipedia.org/wiki/ML_(programming_language) programming language] / Mailing List / Machine Learning |
|- |
|- |
||
| MMR |
| MMR |
||
Line 333: | Line 333: | ||
|- |
|- |
||
| NF |
| NF |
||
− | | [http://encyclopedia2.thefreedictionary.com/Normal+Form Normal Form], in addition to the [ |
+ | | [http://encyclopedia2.thefreedictionary.com/Normal+Form Normal Form], in addition to the [https://en.wikipedia.org/wiki/Normal_form explanations in the Wikipedia article], a fully evaluated expression |
|- |
|- |
||
| nhc98 |
| nhc98 |
||
Line 360: | Line 360: | ||
|- |
|- |
||
| POPL |
| POPL |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/POPL Principles of Programming Languages, Symposium on] |
|- |
|- |
||
| POV |
| POV |
||
Line 372: | Line 372: | ||
|- |
|- |
||
| PRNG |
| PRNG |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Pseudorandom_number_generator Pseudorandom number generator] |
|- |
|- |
||
| PVP |
| PVP |
||
Line 381: | Line 381: | ||
|- |
|- |
||
| RFC |
| RFC |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Request_For_Comment Request For Comments] |
|- |
|- |
||
| RHS |
| RHS |
||
Line 387: | Line 387: | ||
|- |
|- |
||
| RNG |
| RNG |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Random_number_generator Random number generator] |
|- |
|- |
||
| RWH |
| RWH |
||
Line 393: | Line 393: | ||
|- |
|- |
||
| SAT |
| SAT |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem SATisfiability problem] |
|- |
|- |
||
| SEC |
| SEC |
||
Line 405: | Line 405: | ||
|- |
|- |
||
| SML |
| SML |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Standard_ML Standard ML, a programming language] |
|- |
|- |
||
| SMP |
| SMP |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Symmetric_multiprocessing Symmetric Multi-Processing] |
|- |
|- |
||
| SMT |
| SMT |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories Satisfiability Modulo Theories] |
|- |
|- |
||
| SO |
| SO |
||
Line 429: | Line 429: | ||
|- |
|- |
||
| SQL |
| SQL |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/SQL Structured Query Language] |
|- |
|- |
||
| STG machine |
| STG machine |
||
Line 435: | Line 435: | ||
|- |
|- |
||
| STLC |
| STLC |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus Simply Typed Lambda Calculus] |
|- |
|- |
||
| STM |
| STM |
||
Line 450: | Line 450: | ||
|- |
|- |
||
| TCO |
| TCO |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Tail_call_optimization Tail-Call Optimization] |
|- |
|- |
||
| TDNR |
| TDNR |
||
Line 492: | Line 492: | ||
|- |
|- |
||
| VCS |
| VCS |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Version_Control_System Version Control System] |
|- |
|- |
||
| VPS |
| VPS |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/Virtual_Private_Server Virtual Private Server], a virtual machine for hosting a website |
|- |
|- |
||
| WHNF |
| WHNF |
||
Line 504: | Line 504: | ||
|- |
|- |
||
| XML |
| XML |
||
− | | [ |
+ | | [https://en.wikipedia.org/wiki/XML eXtensible Markup Language] |
|- |
|- |
||
| YAHT |
| YAHT |
||
− | | [ |
+ | | [https://en.wikibooks.org/wiki/Haskell/YAHT Yet Another Haskell Tutorial] |
|- |
|- |
||
| YHC |
| YHC |
Revision as of 00:10, 21 July 2017
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.