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