Ohloh by Black Duck

 Follow @ Meta   Join Now

 

Projects

Browse Projects By Tags Add a New Project
Selected Tags
Related Tags

Browsing projects by Tag(s)

Select a tag to browse associated projects and drill deeper into the tag cloud.

Showing page 1 of 1

hybrid

Compare

We have made an implementation of the language Lambda-H, described in the paper Hybrid Type Checking by Cormac Flanagan, which uses a hybrid type checking system. We have tried to keep our implementation as close as possible to the language defined in Flanagan's paper. The result should be ... [More] seen as a proof-of-concept, and an exercise in implementing a hybrid type checker for a language with advanced type specifications. [Less]

0
 
  0 reviews  |  1 user  |  561 lines of code  |  1 current contributor  |  Analyzed almost 2 years ago
  haskell type_system language
 
 

Extrapol

Compare

A security static analysis tool for C aiming to answer the question: "what does this program do?"

0
 
  0 reviews  |  1 user  |  3,274 lines of code  |  0 current contributors  |  Analyzed over 2 years ago
  static java rbac administration ocaml effects c code_analysis quality probing type_system types 10 more...
 
 

morrow

Compare

Morrow is small programming language designed for experimentation with advanced type system concepts. In particular, extensible polymorphic records and variants, combined with impredicative higher-ranked type inference. This combination leads to an expressive core language that is able to express ... [More] many progamming language concepts directly without specific extensions. [Less]

0
 
  0 reviews  |  0 users  |  29,222 lines of code  |  0 current contributors  |  Analyzed almost 2 years ago
  interpreter language type_system haskell
 
 
 
 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.