Skip to content
View cfsottile's full-sized avatar
20 followers · 18 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report cfsottile

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
cfsottile/README.md

I am a PhD Student at Universidad de Buenos Aires and member of the LoReL (Logic and Rewriting for Programming Languages) team. I work in the elaboration of new techniques for proving termination of programs (strong normalization) in different variants of typed lambda calculus, and in the design and implementation of programming languages equating isomorphic types.

Popular repositories Loading

  1. unlp-cyplp unlp-cyplp Public

    Conceptos y Paradigmas de Lenguajes de Programación

    C 4 1

  2. autoconnect-unlp-wifi autoconnect-unlp-wifi Public

    auto-connect is a bash script which makes you stay logged in UNLP's WiFi network

    Shell 3 2

  3. programacion-funcional-unlp programacion-funcional-unlp Public

    Haskell 1 1

  4. swa-framework swa-framework Public

    Semantic Web Augmentation Framework

    JavaScript 1

  5. bestnid_IS2 bestnid_IS2 Public

    PHP

  6. object-oriented-design object-oriented-design Public