Old Web
English
Sign In
Acemap
>
authorDetail
>
Manuel M. T. Chakravarty
Manuel M. T. Chakravarty
Programming language
Computer science
Haskell
Foreign function interface
Theoretical computer science
3
Papers
24
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A Rigorous and Machine Checked Formulation of OutsideInpXq in a Dependently Typed Programming Language
2012
Manuel M. T. Chakravarty
Show All
Source
Cite
Save
Citations (0)
The haskell 98 foreign function interface 1
2003
Manuel M. T. Chakravarty
Sigbjorn Finne
Fergus Henderson
M Kowalczyk
Daan Leijen
Sean Marlow
Erik Meijer
Sven Panne
Simon Peyton-Jones
Alastair Reid
Malcolm Wallace
Michael Weber
Show All
Source
Cite
Save
Citations (24)
COMP 9243 — Week 4 ( 10 s 1 )
1985
Ihor Kuz
Manuel M. T. Chakravarty
Gernot Heiser
Show All
Source
Cite
Save
Citations (0)
1