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
|
https://www.w3.org/2000/01/rdf-schema#label |
CakeML project team
|
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 |
7
|