Back to Results
First PageMeta Content
Agda / Haskell / Emacs / ALF / Type theory / Dependent type / Coq / Lambda calculus / Functional programming / Software / Computing / Functional languages


Document Date: 2007-02-22 06:02:29

Open Document

File Size: 550,25 KB

Share Result on Facebook

Company

Agda / /

Country

Japan / /

/

Event

FDA Phase / /

Facility

National Institute of Advanced Industrial Science / /

Organization

New High-performance Information Processing Technology Supporting Information-oriented Society / Center for Verification and Semantics / Commands Compute Command / Japan Science and Technology Agency / National Institute of Advanced Industrial Science and Technology / /

Person

Andreas Abel / Catarina Coquand / Ana Bove / Nat / Makoto Takeyama / Peter Dybjer / Ulf Norell / Thierry Coquand / Bengt Nordstr¨om / Misao Nagayama Hideaki Nishihara / /

Position

The Emacs editor / Emacs editor / /

Product

F1 / /

ProgrammingLanguage

Haskell / L / /

RadioStation

Core / /

Technology

Functional programming / Concurrent Versions System / /

URL

http /

SocialTag