Back to Results
First PageMeta Content
Higher-order functions / Functional programming / Lambda calculus / Type theory / Map / Haskell / AS3 / Type system / Generic programming / Computing / Software engineering / Declarative programming


BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types?
Add to Reading List

Document Date: 2001-03-27 17:26:58

Open Document

File Size: 66,22 KB

Share Result on Facebook

Company

Oxford University Press / Hybrid Systems / /

Country

Argentina / Denmark / /

Currency

Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / Haskell library / Computing Science Chalmers University of Technology / /

IndustryTerm

http /

Organization

Danish National Research Foundation / BRICS Department / University of Aarhus / Daniel Fridlender† BRICS‡ Department of Computer Science / Oxford University / Universidad Nacional / Mia Indrika Department / Computer Science University of Aarhus Ny Munkegade / Chalmers University of Technology / /

Person

Jakob Pagter / Magnus Carlsson / Kim G. Larsen / Daniel Fridlender / Daniel Fridlender Mia Indrika / Paul Pettersson / Frits W. Vaandrager / S. Peyton Jones / Judi Romijn / Anders Møller / Mia Indrika / Michael I. Schwartzbach / Guan Tay / Alexey Zverovich / Meng Koh / Anders Yeo / Olivier Danvy / Richard Bird / Ansgar Fehnker / Thomas S. Hune / J. Hughes / /

/

Position

programmer / /

ProgrammingLanguage

Haskell / C / ML / /

Technology

Functional Programming / HTML / /

URL

ftp /

SocialTag