MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Thomas Hallgren" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Fun with Functional Dependencies  
  • by Thomas Hallgren — 2000 — Proc. of the Joint CS/CE Winter Meeting
  • … Thomas Hallgren December 29, 2000 Abstract This paper illustrates how Haskell's type class system can…
  • Cited by 4 (0 self) – Add To MetaCart
  • An extensible proof text editor  
  • by Thomas Hallgren, Aarne Ranta — 2000 — In Logic for Programming and Automated Reasoning, volume 1955 of LNCS
  • … An Extensible Proof Text Editor Thomas Hallgren and Aarne Ranta? fhallgren…
  • Cited by 13 (4 self) – Add To MetaCart
  • Lecture Notes  
  • by Augusti Programming, Thomas Hallgren, Magnus Carlsson — 1995 — In Advanced Functional Programming
  • …Lecture Notes 4 augusti 1995 2 3 Programming with Fudgets 1 Thomas Hallgren & Magnus Carlsson…
  • Add To MetaCart
  • An overview of the programatica toolset  
  • by Thomas Hallgren, James Hook, Mark P. Jones, Richard B. Kieburtz — 2004 — High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04
  • …An Overview of the Programatica Toolset Thomas Hallgren James Hook Mark P. Jones Richard B…
  • Cited by 5 (0 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB