Lambda the Ultimate (LtU) website
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:website
|
| gptkbp:abbreviation |
LtU
|
| gptkbp:focusesOn |
gptkb:programming_language
programming language theory |
| gptkbp:foundedIn |
2000
|
| gptkbp:founder |
Ehud Lamm
|
| gptkbp:hasUserGeneratedContent |
yes
|
| gptkbp:language |
English
|
| gptkbp:notableFor |
in-depth discussions on programming languages
|
| gptkbp:registration |
no
|
| gptkbp:topic |
semantics
functional programming type systems compilers language design parsing programming paradigms |
| gptkbp:type |
gptkb:community_website
gptkb:discussion_forum |
| gptkbp:url |
https://lambda-the-ultimate.org/
|
| gptkbp:bfsParent |
gptkb:Anton_van_Straaten
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lambda the Ultimate (LtU) website
|