Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research_institute
|
| gptkbp:affiliatedWith |
gptkb:University_of_Cambridge
gptkb:Chalmers_University_of_Technology |
| gptkbp:developedBy |
CakeML compiler
|
| gptkbp:focusesOn |
gptkb:CakeML
|
| gptkbp:notableMember |
Magnus Myreen
Michael Norrish Ramana Kumar |
| gptkbp:publishes |
gptkb:ICFP
gptkb:POPL |
| gptkbp:uses |
HOL4 theorem prover
|
| gptkbp:website |
https://cakeml.org/
|
| gptkbp:worksWith |
functional programming languages
verified compilers |
| gptkbp:bfsParent |
gptkb:CakeML
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
CakeML project team
|