The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Stefan Monnier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christopher League, Stefan Monnier
    Typed Compilation Against Non-manifest Base Classes. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2005, pp:77-98 [Conf]
  2. Dominik Madon, Eduardo Sanchez, Stefan Monnier
    A Study of a Simultaneous Multithreaded Processor Implementation. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:716-726 [Conf]
  3. Zhong Shao, Christopher League, Stefan Monnier
    Implementing Typed Intermediate Languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:313-323 [Conf]
  4. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:89-100 [Conf]
  5. Stefan Monnier, Bratin Saha, Zhong Shao
    Principled Scavenging. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:81-91 [Conf]
  6. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:3-4, pp:191-229 [Journal]
  7. Stefan Monnier, Zhong Shao
    Inlining as staged computation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:647-676 [Journal]
  8. Louis-Julien Guillemette, Stefan Monnier
    A type-preserving closure conversion in haskell. [Citation Graph (0, 0)][DBLP]
    Haskell, 2007, pp:83-92 [Conf]
  9. Stefan Monnier
    The swiss coercion. [Citation Graph (0, 0)][DBLP]
    PLPV, 2007, pp:33-40 [Conf]
  10. Louis-Julien Guillemette, Stefan Monnier
    Type-Safe Code Transformations in Haskell. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:23-39 [Journal]

  11. A type-preserving compiler in Haskell. [Citation Graph (, )][DBLP]


  12. Type invariants for Haskell. [Citation Graph (, )][DBLP]


  13. Singleton types here, singleton types there, singleton types everywhere. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002