The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel M. T. Chakravarty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manuel M. T. Chakravarty, Gabriele Keller
    An Approach to Fast Arrays in Haskell. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 2002, pp:27-58 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:66-73 [Conf]
  3. Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, W. Pfannenstiel
    Nepal - Nested Data Parallelism in Haskell. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2001, pp:524-534 [Conf]
  4. Gabriele Keller, Manuel M. T. Chakravarty
    Flattening Trees. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1998, pp:709-719 [Conf]
  5. Manuel M. T. Chakravarty
    Lazy Lexing is Fast. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:68-84 [Conf]
  6. Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
    Distributed Haskell: Goffin on the Internet. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:80-97 [Conf]
  7. Manuel M. T. Chakravarty
    Integrating Multithreading into the Spineless Tagless G-machine. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1995, pp:2- [Conf]
  8. Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller
    Optimising Embedded DSLs Using Template Haskell. [Citation Graph (0, 0)][DBLP]
    GPCE, 2004, pp:186-205 [Conf]
  9. Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller
    Higher Order Flattening. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2006, pp:920-928 [Conf]
  10. Manuel M. T. Chakravarty, Gabriele Keller
    More types for nested data parallel programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:94-105 [Conf]
  11. Manuel M. T. Chakravarty, Gabriele Keller
    Functional Array Fusion. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:205-216 [Conf]
  12. Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
    Associated type synonyms. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:241-253 [Conf]
  13. Manuel M. T. Chakravarty, Hendrik C. R. Lock
    The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:61-75 [Conf]
  14. Simon Winwood, Manuel M. T. Chakravarty
    Secure Untrusted Binaries - Provably!. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2005, pp:171-186 [Conf]
  15. Manuel M. T. Chakravarty
    Lazy Thread and Task Creation in Parallel Graph-Reduction. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:231-249 [Conf]
  16. Manuel M. T. Chakravarty
    C -> HASKELL, or Yet Another Interfacing Tool. [Citation Graph (0, 0)][DBLP]
    IFL, 1999, pp:131-148 [Conf]
  17. André T. H. Pang, Manuel M. T. Chakravarty
    Interfacing Haskell with Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    IFL, 2003, pp:20-35 [Conf]
  18. Gabriele Keller, Manuel M. T. Chakravarty
    On the Distribution Implementation of Aggregate Data Structures by Program Transformation. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:108-122 [Conf]
  19. Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
    On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:111-126 [Conf]
  20. Manuel M. T. Chakravarty, Hendrik C. R. Lock
    The Implementation of Lazy Narrowing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:123-134 [Conf]
  21. Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow
    Associated types with class. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:1-13 [Conf]
  22. Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
    Modular type classes. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:63-70 [Conf]
  23. Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
    System F with type equality coercions. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:53-66 [Conf]
  24. Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
    Co-ordinating Parallel Computation through Equational Constraints. [Citation Graph (0, 0)][DBLP]
    WLP, 1995, pp:123-132 [Conf]
  25. Manuel M. T. Chakravarty, Hendrik C. R. Lock
    Towards the Uniform Implementation of Declarative Languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1997, v:23, n:2-4, pp:121-160 [Journal]
  26. Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski
    A Functional Perspective on SSA Optimisation Algorithms. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
  27. Manuel M. T. Chakravarty, Gabriele Keller
    The risks and benefits of teaching purely functional programming in first year. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:1, pp:113-123 [Journal]
  28. Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller
    Costing Nested Array Codes. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2002, v:12, n:2, pp:249-266 [Journal]
  29. Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock
    GOFFIN: Higher-Order Functions Meet Concurrent Constraints. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:157-199 [Journal]
  30. Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
    Running the manual: an approach to high-assurance microkernel development. [Citation Graph (0, 0)][DBLP]
    Haskell, 2006, pp:60-71 [Conf]
  31. Don Stewart, Manuel M. T. Chakravarty
    Dynamic applications from the ground up. [Citation Graph (0, 0)][DBLP]
    Haskell, 2005, pp:27-38 [Conf]

  32. ML Modules and Haskell Type Classes: A Constructive Comparison. [Citation Graph (, )][DBLP]


  33. Harnessing the Multicores: Nested Data Parallelism in Haskell. [Citation Graph (, )][DBLP]


  34. Type checking with open type functions. [Citation Graph (, )][DBLP]


  35. Specialising Simulator Generators for High-Performance Monte-Carlo Methods. [Citation Graph (, )][DBLP]


  36. Data parallel Haskell: a status report. [Citation Graph (, )][DBLP]


Search in 0.100secs, Finished in 0.102secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002