The following pages link to Manuel M. T. Chakravarty (Q1380124):
Displaying 22 items.
- GOFFIN: Higher-order functions meet concurrent constraints (Q1380128) (← links)
- Fast isomorphic state channels (Q2147250) (← links)
- Translation certification for smart contracts (Q2163161) (← links)
- (Q2766772) (← links)
- Associated type synonyms (Q2936787) (← links)
- More types for nested data parallel programming (Q2943361) (← links)
- (Q3165976) (← links)
- Modular type classes (Q3189786) (← links)
- Higher Order Flattening (Q3545141) (← links)
- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (Q3591080) (← links)
- (Q4348920) (← links)
- Towards the uniform implementation of declarative languages (Q4395686) (← links)
- (Q4494107) (← links)
- (Q4796135) (← links)
- Work efficient higher-order vectorisation (Q5168903) (← links)
- Regular, shape-polymorphic, parallel arrays in Haskell (Q5176945) (← links)
- Functional array fusion (Q5178010) (← links)
- Type checking with open type functions (Q5178755) (← links)
- Optimising purely functional GPU programs (Q5244787) (← links)
- Associated types with class (Q5276128) (← links)
- An Approach to Fast Arrays in Haskell (Q5390282) (← links)
- Implementation of Functional Languages (Q5466586) (← links)
