Just Testing

Lambda Science
About Me

I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming, and in particular, in Haskell.


My Twitter handle is TacticalGrace.
Check out my UNSW website.

My Other Sites
TwitterLinkedInTumblrScribd
Tags
  • haskell (41)
  • parallelism (22)
  • gpgpu (14)
  • dph (11)
  • edsl (11)
  • ghc (9)
  • mac (7)
  • multicore (6)
  • accelerate (5)
  • dtrace (4)
  • View all 52 tags »
  • instruments (3)
  • type families (3)
  • types (3)
  • c2hs (2)
  • code certification (2)
  • concurrency (2)
  • generics (2)
  • haskell2010 (2)
  • iPad (2)
  • security (2)
  • tal (2)
  • vectorisation (2)
  • Android (1)
  • alfredapp (1)
  • badpatents (1)
  • blocks (1)
  • cocoa (1)
  • codegen (1)
  • compilers (1)
  • complexity theory (1)
  • damp09 (1)
  • data-orientation (1)
  • fermi (1)
  • ffi (1)
  • gadts (1)
  • gtk (1)
  • iPhone (1)
  • ibooks (1)
  • imap (1)
  • lion (1)
  • llvm (1)
  • mail (1)
  • mobileme (1)
  • objc (1)
  • objective-c (1)
  • profiling (1)
  • purity (1)
  • repa (1)
  • snow leopard (1)
  • stm (1)
  • twitter (1)
  • unix (1)
Archive
2012 (11)
May (2)
April (3)
March (1)
January (2)
January (3)
2011 (5)
September (2)
April (1)
January (2)
2010 (14)
November (3)
October (1)
August (1)
July (3)
June (2)
April (1)
February (2)
January (1)
2009 (43)
December (1)
November (3)
October (9)
September (7)
August (3)
July (2)
May (2)
March (9)
February (2)
January (5)
2008 (30)
December (5)
November (3)
October (8)
September (4)
August (1)
July (2)
June (1)
May (2)
April (1)
March (1)
February (2)
2007 (23)
December (1)
November (5)
October (1)
September (1)
August (3)
July (2)
June (3)
May (7)
Filed under

gadts

See all posts on posterous with this tag ยป
  • Edit
  • Delete
  • Tags
  • Autopost
 

Complete and Decidable Type Inference for GADTs.

http://tomschrijvers.blogspot.com/2009/03/complete-and-decidable-type-inferen...

Tweet
Filed under  //  gadts   haskell   types  
Posted
  • 0 responses
  • Like
  • Comment