Search results for "Manuel M. T. Chakravarty"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover	Accelerating Haskell array codes with multicore GPUs.	DAMP	2011	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy (eds.)	Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011	ICFP	2011	DBLP BibTeX RDF
1	Simon Winwood, Manuel M. T. Chakravarty	Singleton: a general-purpose dependently-typed assembly language.	TLDI	2011	DBLP DOI BibTeX RDF
1	Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier	Regular, shape-polymorphic, parallel arrays in Haskell.	ICFP	2010	DBLP DOI BibTeX RDF
1	David A. Terei, Manuel M. T. Chakravarty	An llVM backend for GHC.	Haskell	2010	DBLP DOI BibTeX RDF
1	Leaf Petersen, Manuel M. T. Chakravarty (eds.)	Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009	DAMP	2009	DBLP BibTeX RDF
1	Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik	Specialising Simulator Generators for High-Performance Monte-Carlo Methods.	PADL	2008	DBLP DOI BibTeX RDF
1	Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann	Type checking with open type functions.	ICFP	2008	DBLP DOI BibTeX RDF	type families, type functions, Haskell, type checking
1	Stefan Wehr, Manuel M. T. Chakravarty	ML Modules and Haskell Type Classes: A Constructive Comparison.	APLAS	2008	DBLP DOI BibTeX RDF
1	Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty	Harnessing the Multicores: Nested Data Parallelism in Haskell.	FSTTCS	2008	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow	Data parallel Haskell: a status report.	DAMP	2007	DBLP DOI BibTeX RDF
1	Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
1	Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly	System F with type equality coercions.	TLDI	2007	DBLP DOI BibTeX RDF	advanced type features, typed intermediate language
1	Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller	Higher Order Flattening.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty	On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.	LOPSTR	2006	DBLP DOI BibTeX RDF
1	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty	Running the manual: an approach to high-assurance microkernel development.	Haskell	2006	DBLP DOI BibTeX RDF	formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
1	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow	Associated types with class.	POPL	2005	DBLP DOI BibTeX RDF	associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes
1	Simon Winwood, Manuel M. T. Chakravarty	Secure Untrusted Binaries - Provably!.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones	Associated type synonyms.	ICFP	2005	DBLP DOI BibTeX RDF	associated types, type functions, type inference, generic programming, type classes
1	Don Stewart, Manuel M. T. Chakravarty	Dynamic applications from the ground up.	Haskell	2005	DBLP DOI BibTeX RDF	functional programming, dynamic update, extension languages, hot swapping, dynamic applications
1	Manuel M. T. Chakravarty, Gabriele Keller	The risks and benefits of teaching purely functional programming in first year.	J. Funct. Program.	2004	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller	Einführung in die Programmierung mit Haskell.		2004	RDF
1	Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller	Optimising Embedded DSLs Using Template Haskell.	GPCE	2004	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski	A Functional Perspective on SSA Optimisation Algorithms.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	André T. H. Pang, Manuel M. T. Chakravarty	Interfacing Haskell with Object-Oriented Languages.	IFL	2003	DBLP DOI BibTeX RDF
1	Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller	Costing Nested Array Codes.	Parallel Processing Letters	2002	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller	An Approach to Fast Arrays in Haskell.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, W. Pfannenstiel	Nepal - Nested Data Parallelism in Haskell.	Euro-Par	2001	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller	Functional Array Fusion.	ICFP	2001	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller	More types for nested data parallel programming.	ICFP	2000	DBLP DOI BibTeX RDF
1	Gabriele Keller, Manuel M. T. Chakravarty	On the Distribution Implementation of Aggregate Data Structures by Program Transformation.	IPPS/SPDP Workshops	1999	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty	Lazy Lexing is Fast.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty	C -> HASKELL, or Yet Another Interfacing Tool.	IFL	1999	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock	GOFFIN: Higher-Order Functions Meet Concurrent Constraints.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
1	Gabriele Keller, Manuel M. T. Chakravarty	Flattening Trees.	Euro-Par	1998	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Yike Guo, Martin Köhler	Distributed Haskell: Goffin on the Internet.	Fuji International Symposium on Functional and Logic Programming	1998	DBLP BibTeX RDF
1	Manuel M. T. Chakravarty, Hendrik C. R. Lock	Towards the Uniform Implementation of Declarative Languages.	Comput. Lang.	1997	DBLP DOI BibTeX RDF
1	K. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, W. Pfannenstiel, Martin Simons	Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.	APDC	1997	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty	Lazy Thread and Task Creation in Parallel Graph-Reduction.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty	Integrating Multithreading into the Spineless Tagless G-machine.	Functional Programming	1995	DBLP BibTeX RDF
1	Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock	Co-ordinating Parallel Computation through Equational Constraints.	WLP	1995	DBLP BibTeX RDF
1	Manuel M. T. Chakravarty, Hendrik C. R. Lock	The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.	ICLP Workshop: Integration of Declarative Paradigms	1994	DBLP BibTeX RDF
1	Manuel M. T. Chakravarty, Hendrik C. R. Lock	The Implementation of Lazy Narrowing.	PLILP	1991	DBLP DOI BibTeX RDF

Publications of "Manuel M. T. Chakravarty" ( http://dblp.L3S.de/Authors/Manuel_M._T._Chakravarty )