Manuel M. T. Chakravarty

Available identifiers

Publication	Date of Publication	Type
Translation certification for smart contracts	2022-08-10	Paper
Fast isomorphic state channels	2022-06-22	Paper
Associated types with class	2017-07-14	Paper
More types for nested data parallel programming	2015-09-11	Paper
Optimising purely functional GPU programs	2015-03-30	Paper
Type checking with open type functions	2015-03-16	Paper
Functional array fusion	2015-03-09	Paper
Regular, shape-polymorphic, parallel arrays in Haskell	2015-03-05	Paper
Associated type synonyms	2015-01-06	Paper
Modular type classes	2014-09-12	Paper
Work efficient higher-order vectorisation	2014-07-21	Paper
Harnessing the multicores: nested data parallelism in Haskell	2012-10-19	Paper
An approach to fast arrays in Haskell	2011-04-01	Paper
Higher Order Flattening	2008-12-09	Paper
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors	2007-09-10	Paper
Implementation of Functional Languages	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4796135	2003-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q2766772	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4494107	2000-08-10	Paper
Towards the uniform implementation of declarative languages	1998-09-14	Paper
GOFFIN: Higher-order functions meet concurrent constraints	1998-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4348920	1997-08-09	Paper

This page was built for person: Manuel M. T. Chakravarty